UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 185

Sortiert nach

Deontic Logic : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings [Elektronische Ressource]

2004

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Volltext
Volltext
2 weitere Links anzeigen
Weniger anzeigen

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings [Elektronische Ressource]

2008

Non-Standard Inferences in Description Logics [Elektronische Ressource]

Küsters, Ralf

2001

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings [Elektronische Ressource]

2006

Dynamic Epistemic Logic [Elektronische Ressource]

Synthese Library : 337

2008

Link zum Volltext
Springer Humanities, Social Science & Law 2008 (ZDB-2-SHU)

Automatentheorie und Logik [Elektronische Ressource]

eXamen.press

2011

Link zum Volltext
Springer Technik, Informatik 2011 (ZDB-2-STI)

Mathematical Logic for Computer Science [Elektronische Ressource]

Ben-Ari, Mordechai

3rd ed. 2012, 2012

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2012 (ZDB-2-SCS)

Statistisches Matching mit Fuzzy Logic : Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften [Elektronische Ressource]

Noll, Patrick

2009

Link zum Volltext
Springer Technik, Informatik 2009 (ZDB-2-STI)

Nonmonotonic Logics : Basic Concepts, Results, and Techniques [Elektronische Ressource]

Schlechta, Karl

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings [Elektronische Ressource]

2006

Logic, Thought and Action [Elektronische Ressource]

Logic, Epistemology, and the Unity of Science : 2

Vanderveken, Daniel

2005

Link zum Volltext
Springer Humanities, Social Science & Law 2005 (ZDB-2-SHU)

Automata Logics, and Infinite Games : A Guide to Current Research [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers [Elektronische Ressource]

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Foundations of Inductive Logic Programming [Elektronische Ressource]

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Logica Universalis : Towards a General Theory of Logic [Elektronische Ressource]

Beziau, Jean-Yves

2005

Link zum Volltext
Springer Mathematics & Statistics 2005 (ZDB-2-SMA)

Logica Universalis : Towards a General Theory of Logic [Elektronische Ressource]

Beziau, Jean-Yves

Second Edition, 2007

Link zum Volltext
Springer Mathematics & Statistics 2007 (ZDB-2-SMA)

Inductive Logic Programming : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings [Elektronische Ressource]

Page, David

1998

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Mathematical Logic : Foundations for Information Science [Elektronische Ressource]

Li, Wei

2nd ed. 2014, 2014

Link zum Volltext
Springer Mathematics & Statistics 2014 (ZDB-2-SMA)

Inductive Logic Programming : 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings [Elektronische Ressource]

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Interpreted Languages and Compositionality [Elektronische Ressource]

Kracht, Marcus

2011

Link zum Volltext
Springer Humanities, Social Science & Law 2011 (ZDB-2-SHU)

Inductive Logic Programming : 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings [Elektronische Ressource]

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Mathematical Logic : Foundations for Information Science [Elektronische Ressource]

Progress in Computer Science and Applied Logic (PCS) : 25

Li, Wei

2010

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2010 (ZDB-2-SCS)

Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings [Elektronische Ressource]

2004

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Volltext
Volltext
2 weitere Links anzeigen
Weniger anzeigen

Inductive Logic Programming : 10th International Conference, ILP 2000 London, UK, July 24–27, 2000 Proceedings [Elektronische Ressource]

2000

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Fuzzy Logic in Artificial Intelligence : IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers [Elektronische Ressource]

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

1 – 25 von 185

Suche als RSS-Feed

Aktive Filter

SchlagwortComputer science

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(185)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(185)

Schlagwort

Artificial intelligence
(122)
Logik
(63)
Logic design
(61)
Mathematische Logik
(48)
Logische Programmierung
(44)
Logic, Symbolic and mathematical
(39)
Software engineering
(39)
Information storage and retrieval systems
(28)
Database management
(26)
Programmierlogik
(24)
Information systems
(22)
Computer software
(21)
Künstliche Intelligenz
(21)
Terminologische Logik
(20)
Theoretische Informatik
(20)
Fuzzy-Logik
(19)
Data mining
(17)
Formale Methode
(17)
Information theory
(17)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(128)
Deutsch
(8)

Art des Inhalts

Sonstiges
(183)
Kongressbericht
(2)

Menü

Weitere Dienste

Einstellungen

Deontic Logic : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings [Elektronische Ressource]

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings [Elektronische Ressource]

Non-Standard Inferences in Description Logics [Elektronische Ressource]

Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings [Elektronische Ressource]

Dynamic Epistemic Logic [Elektronische Ressource]

Automatentheorie und Logik [Elektronische Ressource]

Mathematical Logic for Computer Science [Elektronische Ressource]

Statistisches Matching mit Fuzzy Logic : Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften [Elektronische Ressource]

Nonmonotonic Logics : Basic Concepts, Results, and Techniques [Elektronische Ressource]

Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings [Elektronische Ressource]

Logic, Thought and Action [Elektronische Ressource]

Automata Logics, and Infinite Games : A Guide to Current Research [Elektronische Ressource]

Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers [Elektronische Ressource]

Foundations of Inductive Logic Programming [Elektronische Ressource]

Logica Universalis : Towards a General Theory of Logic [Elektronische Ressource]

Logica Universalis : Towards a General Theory of Logic [Elektronische Ressource]

Inductive Logic Programming : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings [Elektronische Ressource]

Mathematical Logic : Foundations for Information Science [Elektronische Ressource]

Inductive Logic Programming : 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings [Elektronische Ressource]

Interpreted Languages and Compositionality [Elektronische Ressource]

Inductive Logic Programming : 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings [Elektronische Ressource]

Mathematical Logic : Foundations for Information Science [Elektronische Ressource]

Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings [Elektronische Ressource]

Inductive Logic Programming : 10th International Conference, ILP 2000 London, UK, July 24–27, 2000 Proceedings [Elektronische Ressource]

Fuzzy Logic in Artificial Intelligence : IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern