A Resolution Principle for a Logic With Restricted Quantifiers (Lecture Notes in Computer Science) - Tapa blanda

Burckert. H.-J.

 
9780387550343: A Resolution Principle for a Logic With Restricted Quantifiers (Lecture Notes in Computer Science)

Sinopsis

Book by Burckert H J

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783540550341: A Resolution Principle for a Logic with Restricted Quantifiers: 568 (Lecture Notes in Computer Science, 568)

Edición Destacada

ISBN 10:  3540550348 ISBN 13:  9783540550341
Editorial: Springer, 2008
Tapa blanda