0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Algebra

Buy Now

Sorts and Types in Artificial Intelligence - Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (Paperback, 1990 ed.) Loot Price: R1,678
Discovery Miles 16 780
Sorts and Types in Artificial Intelligence - Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (Paperback, 1990 ed.):...

Sorts and Types in Artificial Intelligence - Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (Paperback, 1990 ed.)

Karl H Blasius, Ulrich Hedtstuck, Claus-Rainer Rollinger

Series: Lecture Notes in Computer Science, 418

 (sign in to rate)
Loot Price R1,678 Discovery Miles 16 780 | Repayment Terms: R157 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 418
Release date: July 1990
First published: 1990
Editors: Karl H Blasius • Ulrich Hedtstuck • Claus-Rainer Rollinger
Dimensions: 254 x 178 x 17mm (L x W x T)
Format: Paperback
Pages: 307
Edition: 1990 ed.
ISBN-13: 978-3-540-52337-6
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Algebra > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-540-52337-5
Barcode: 9783540523376

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

A Generalized Framework of Linear…
Liansheng Tan Paperback R2,474 R2,339 Discovery Miles 23 390
Introduction to Analysis, Global Edition
William Wade Paperback R2,119 Discovery Miles 21 190
Differential Equations with Linear…
Matthew R. Boelkins, Jack L. Goldberg, … Hardcover R3,047 Discovery Miles 30 470
Linear Algebra and Its Applications…
David Lay, Steven Lay, … Paperback R2,492 Discovery Miles 24 920
Introduction to Analysis - Pearson New…
William Wade Paperback R2,542 Discovery Miles 25 420
Math Without Numbers
Milo Beckman Paperback R450 R415 Discovery Miles 4 150
The Ten Equations That Rule the World…
David Sumpter Paperback R514 R479 Discovery Miles 4 790
Sets, Groups, and Mappings - An…
Andrew D. Hwang Hardcover R2,424 Discovery Miles 24 240
Linear Algebra: Gateway to Mathematics
Robert Messer Paperback R4,470 R2,427 Discovery Miles 24 270
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,764 Discovery Miles 57 640
Introduction to Linear Algebra
Gilbert Strang Hardcover R2,358 Discovery Miles 23 580
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850

See more

Partners