Computer science logic
: 16th international workshop ; proceedings / CSL 2002, Edinburgh, Scotland, UK, September 22 - 25, 2002. J. Bradfield (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Annual conference of the EACSL ...; 11)
ISBN 978-3-540-45793-0
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 15th international workshop ; proceedings / CSL 2001, Paris, France, September 10 - 13, 2001. L. Fribourg (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Annual conference of the EACSL ...; 10)
ISBN 978-3-540-44802-0
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 22nd international workshop ; proceedings / CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008. Michael Kaminski ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5213)
ISBN 978-3-540-87531-4
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 21st international workshop ; proceedings / CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007. Jacques Duparc ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4646)
ISBN 978-3-540-74915-8
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 20th international workshop ; proceedings / CSL 2006, Szeged, Hungary, September 25 - 29, 2006. Zoltán Ésik (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Annual conference of the EACSL ...; 15)
ISBN 978-3-540-45459-5
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 19th international workshop ; proceedings / CSL 2005, Oxford, UK, August 22 - 25, 2005. Luke Ong (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Annual conference of the EACSL ...; 14)
ISBN 978-3-540-31897-2
Lizenzpflichtig
Quelle: DNB
Schick, Stefan: Contradictio est regula veri
: die Grundsätze des Denkens in der formalen, transzendentalen und spekulativen Logik / von Stefan Schick. - Hamburg : Meiner, 2010. - 503 S.; 24 cm - (Hegel-Studien : [...], Beiheft; 53)
ISBN 978-3-7873-1973-2 kart. : EUR 128.00
Quelle: DNB Verlagsmeldungen
Deontic logic and artificial normative systems
: proceedings / 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12 - 14, 2006. Lou Goble ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4048 : Lecture notes in artificial intelligence)
ISBN 978-3-540-35843-5
Lizenzpflichtig
Quelle: DNB
Deontic logic in computer science
: 9th international conference ; proceedings / DEON 2008, Luxembourg, Luxembourg, July 15 - 18, 2008. Ron van der Meyden ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5076 : Lecture notes in artificial intelligence)
ISBN 978-3-540-70525-3
Lizenzpflichtig
Quelle: DNB
El-Rouayheb, Khaled: The development of Arabic logic (1200-1800)
/ Khaled El-Rouayheb. - Basel, Schweiz : Schwabe Verlag, 2019. - 335 Seiten; 23 cm - (; 2)
ISBN 978-3-7965-3909-1 / 3-7965-3909-2 Festeinband : circa EUR 62.00 (DE), circa EUR 63.80 (AT), circa CHF 62.00 (freier Preis)
Quelle: DNB