Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux"98, Oisterwijk, the Netherlands, May 5-8, 1998 Proceedings (Lecture Notes in Computer Science) by Netherlands) Tableaux"9 (1998 Oisterwijk

Cover of: Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux

Published by Springer .

Written in English

Read online

Subjects:

  • Artificial intelligence,
  • Computer architecture & logic design,
  • Artificial Intelligence - General,
  • Computers,
  • Automata,
  • Computers - General Information,
  • Computer Science,
  • Expert Systems,
  • Automatic theorem proving,
  • Congresses

Book details

The Physical Object
FormatPaperback
Number of Pages335
ID Numbers
Open LibraryOL9062588M
ISBN 103540644067
ISBN 109783540644064

Download Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux"98, Oisterwijk, the Netherlands, May 5-8, 1998

88985 views Tuesday, November 24, 2020