A Resolution Principle for a Logic With Restricted Quantifiers - Brossura

Burckert. H.-J.

 
9780387550343: A Resolution Principle for a Logic With Restricted Quantifiers

Sinossi

Book by Burckert H J

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783540550341: A Resolution Principle for a Logic with Restricted Quantifiers: 568

Edizione in evidenza

ISBN 10:  3540550348 ISBN 13:  9783540550341
Casa editrice: Springer, 2008
Brossura