Popis: Handbook of practical logic and automated reasoning /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Harrison, John, 1966- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cambridge : Cambridge University Press, [2009]
Vydání:	First published
Témata:	logické programování matematická logika počítačové programy umělá inteligence artificial intelligence computer programs logic programming mathematical logic monografie příručky monographs handbooks and manuals

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xix, 681 stran
ISBN:	978-0-521-89957-4