TU Darmstadt / ULB / TUbiblio

Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik

Hähnle, Reiner (1990):
Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik.
(136), [Report]

Item Type: Report
Erschienen: 1990
Creators: Hähnle, Reiner
Title: Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik
Language: German
Number: 136
Uncontrolled Keywords: semantic tableaux, automated theorem proving, multiple-valued logic
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle89
Export:

Optionen (nur für Redakteure)

View Item View Item