Conditional and preferential logics : proof methods and theorem proving / / Gian Luca Pozzato.
Gespeichert in:
: | |
---|---|
TeilnehmendeR: | |
Erscheinungsjahr: | 2010 |
Sprache: | Englisch |
Online Zugang: | |
Beschreibung: | viii, 200 p. :; ill. |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Bibliographie: | Includes bibliographical references. |
---|---|
ISBN: | 9781607500940 9781607500957 |
Hierarchiestufe: | Monografie |
Verantwortlichkeitsangabe: | Gian Luca Pozzato. |