0 Mėgstami
0Krepšelis

Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings

84,68 
84,68 
2025-07-31 84.6800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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.

Informacija

Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1990
Knygos puslapių skaičius: 324
ISBN-10: 3540523375
ISBN-13: 9783540523376
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings“