Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Theorem proving with analytic tableaux and related methods
:
5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings