Dyckhoff, Roy
[HerausgeberIn]
;
International Conference on Analytic Tableaux and Related Methods 2000 Saint Andrews
Automated reasoning with analytic tableaux and related methods
: international conference; Tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000; proceedings
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Automated reasoning with analytic tableaux and related methods
:
international conference; Tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000; proceedings