Sorts and Types in Artificial Intelligence - Bläsius Karl H.
Sorts and Types in Artificial Intelligence - Bläsius Karl H.
- Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
EAN: 9783540523376
Marka
Symbol
218HKG03527KS
Rok wydania
1990
Strony
324
Oprawa
Miekka
Format
17.8x25.4cm
Redakcja
Bläsius Karl H.
Język
angielski

Bez ryzyka
14 dni na łatwy zwrot

Szeroki asortyment
ponad milion pozycji

Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
218HKG03527KS
Kod producenta
9783540523376
Rok wydania
1990
Strony
324
Oprawa
Miekka
Format
17.8x25.4cm
Redakcja
Bläsius Karl H.
Język
angielski

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.
EAN: 9783540523376
EAN: 9783540523376
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię