Franz Baader (ed.)
Berlin ; Tokyo : Springer, c2003
図書等2003
xii, 502 p. : ill. ; 24 cm
Lecture notes in computer science ; 2741 [Lecture notes in artificial intelligence]
Includes bibliographies and index (p. [503])
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
International Conference on Automated Deduction [ Automated Deduction, International Conference on ] [ Conference on Automated Deduction ] [ Conference on Automated Deduction, International ] [ CADE ]
LCC:QA76.9.A96
3540405593
BA63268759
