Zum Inhalt springen Gergely, Tamás [VerfasserIn]; Úry, László [VerfasserIn] First-order programming theories Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1991 Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 24 Thielscher, Michael [VerfasserIn] Reasoning robots : the art and science of programming robotic agents Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht: Springer, 2005 Erschienen in: Applied logic series ; 33
Gergely, Tamás [VerfasserIn]; Úry, László [VerfasserIn] First-order programming theories Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1991 Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 24
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Thielscher, Michael [VerfasserIn] Reasoning robots : the art and science of programming robotic agents Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht: Springer, 2005 Erschienen in: Applied logic series ; 33
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen Magazinbestellung (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (2) Wert ausschließen Zentralbibliothek (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (2) Wert ausschließen Mathematik (1) Wert ausschließen Philosophie (1) Wert ausschließen Technik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Gergely, Tamás (1) Wert ausschließen Thielscher, Michael (1) Wert ausschließen Úry, László (1) Wert ausschließen zeige weitere weniger zeigen