Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings

Podrobná bibliografie

Další autoři:	Parigot, Michel (Editor) Voronkov, Andrei, 1959- (Editor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2000
Edice:	Lecture notes in computer science ; 1955
ISBN:	3-540-41285-9
Témata:	logické programování umělá inteligence teorie dat zpracování
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!