Popis: Automated Theorem Proving /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Bibel, Wolfgang, 1938- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Braunschweig : Friedr. Vieweg & Sohn, 1982.
Témata:	výpočetní technika umělá inteligence interakce člověk-počítač teorie automatů artificial intelligence human-computer interaction computer science automata theory monografie monographs

Přejít na ObalkyKnih.cz