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

Burckert. H.-J.

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

Inhaltsangabe

Book by Burckert H J

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3540550348 ISBN 13:  9783540550341
Verlag: Springer, 2008
Softcover