Items related to Computational Aspects of an Order-Sorted Logic with...
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395) - Softcover
Synopsis
Die steigende Zahl von Publikationen und internationalen Kongressen ber die schizoaffektiven Psychosen waren Anla dieses Thema erstmalig ausfhrlich und umfassend in Buchform darzustellen Namhafte Wissenschaftler aus dem In und Ausland vermitteln praktische klinisch relevante Informationen ber die Diagnose den Verlauf die Therapie und die Prophylaxe der schizoaffektiven Psychosen Angesprochen werden auch genetische und soziale Aspekte sowie Zukunftsperspektiven
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1989
- ISBN 10 3540517057
- ISBN 13 9783540517054
- BindingPaperback
- LanguageEnglish
- Number of pages184
Search results for Computational Aspects of an Order-Sorted Logic with...
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UT1572730
Quantity: 1 available
Stock Image
Computational Aspects of an Order-sorted Logic With Term Declarations
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-577-908
Quantity: 1 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020168975
Quantity: Over 20 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540517054
Quantity: 10 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540517054_new
Quantity: Over 20 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Auflage: 1989. 184 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 270 23,1 x 15,2 x 1,3 cm, Taschenbuch. Seller Inventory # 370895
Quantity: 1 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. 184 pp. Englisch. Seller Inventory # 9783540517054
Quantity: 2 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. Seller Inventory # 9783540517054
Quantity: 1 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-3540517057
Quantity: 1 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.InhaltsverzeichnisFoundations.- Various extens. Seller Inventory # 4892090
Quantity: Over 20 available