Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. 0387523375 Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the 'application areas', i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.
Published by Springer, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer 1990-07, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the application areas , i.e. na.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540523375 ISBN 13: 9783540523376
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the 'application areas', i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning. 324 pp. Englisch.