Media type: Book Title: Labelled deductive systems / Dov M. Gabbay 1 Contributor: Gabbay, Dov M. [Author] imprint: Oxford: Clarendon Press, 1996 Published in: Labelled deductive systems / Dov M. Gabbay ; 1 Oxford logic guides ; 33 Extent: XIII, 497 S. Language: English ISBN: 0198538332 RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2017 8 17490 Item ID: 10426679 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.