Blättern nach Person
![]() | Ebene hoch |
Springe zu: 1994
Anzahl der Einträge: 1.
1994
Hähnle, Reiner ; Ibens, Ortrun
Hrsg.: Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (1994)
Improving Temporal Logic Tableaux Using Integer Constraints.
Konferenzveröffentlichung, Bibliographie