TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Klingenbeck, Stefan and Hähnle, Reiner Bundy, Alan (ed.) (1994):
Semantic Tableaux with Ordering Restrictions.
814In: LNCS, In: Proc. 12th Conference on Automated Deduction {CADE}, Nancy/France, Springer-Verlag, pp. 708--722, [Conference or Workshop Item]

This list was generated on Sat Aug 8 00:06:16 2020 CEST.