Moshe Y. Vardi, Andrei Voronkov (eds.)
Berlin ; Tokyo : Springer, c2003
図書等2003
xiii, 436 p. : ill. ; 24 cm
Lecture notes in computer science ; 2850 [Lecture notes in artificial intelligence]
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
LPAR [ International Conference on Logic for Programming and Automated Reasoning ] [ Logic Programming and Automated Reasoning, International Conference ] [ International Conference LPAR ] [ Conference LPAR ] [ Conference LPAR, International ] [ International Conference on Logic for Programming, Artificial Intelligence and Reasoning ]
Vardi, Moshe [ Vardi, Moshe Y. ] [ Vardi, M ]
3540201017
BA63865601
