Tree structured theorem proving using controlled case analysis mechanisms for classical, three-, and four-valued logic

Paderborn, Univ., Diss., 1994

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Mellouli, Taïb
Format: UnknownFormat
Sprache:ger
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!