Proof theory and automated deduction

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Goubault-Larrecq, Jean (VerfasserIn)
Weitere Verfasser:	Mackie, Ian (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht u.a. Kluwer Acad. Publ. 2001
Ausgabe:	Transferred to digital print
Schriftenreihe:	Applied logic series 6
Schlagworte:	Proof theory > Automatic theorem proving > Beweistheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!