TU Darmstadt / ULB / TUbiblio

An Improved Method for Adding Equality to Free Variable Semantic Tableau

Beckert, Bernhard and Hähnle, Reiner
Kapur, Deepak (ed.) (1992):
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
In: Proceedings of Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Springer-Verlag, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: LNCS, [Online-Edition: https://doi.org/10.1007/3-540-55602-8_188],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1992
Editors: Kapur, Deepak
Creators: Beckert, Bernhard and Hähnle, Reiner
Title: An Improved Method for Adding Equality to Free Variable Semantic Tableau
Language: German
Title of Book: Proceedings of Automated Deduction - CADE-11, 11th International Conference on Automated Deduction
Series Name: LNCS
Volume: 607
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings
Date Deposited: 31 Dec 2016 10:40
Official URL: https://doi.org/10.1007/3-540-55602-8_188
Identification Number: BeckertHaehnle91
Export:

Optionen (nur für Redakteure)

View Item View Item