UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 746

Sortiert nach

Connectionism and the Philosophy of Mind

Studies in Cognitive Systems : 9

1991

Link zum Volltext
Volltext

Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings [Elektronische Ressource]

2011

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

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings [Elektronische Ressource]

2007

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers [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

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings [Elektronische Ressource]

2001

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

Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Theoretical Computer Science and General Issues : 11668

1st ed. 2019, 2019

Logic for Programming and Automated Reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings [Elektronische Ressource]

1999

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

Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings [Elektronische Ressource]

1998

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

Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers [Elektronische Ressource]

2001

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

Automated Deduction — CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings [Elektronische Ressource]

1998

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

Computer Aided Systems Theory — EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers [Elektronische Ressource]

2001

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

Robotic Building

Springer Series in Adaptive Environments

Bier, Henriette[Herausgeber]

1st ed. 2018, 2018

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

Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Theoretical Computer Science and General Issues : 11014

2018

Guide to Computational Geometry Processing : Foundations, Algorithms, and Methods [Elektronische Ressource]

2012

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

Logic for Programming, Aritficial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings [Elektronische Ressource]

2006

Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Lecture Notes in Computer Science : 10245

2017

Finite-State Methods and Natural Language Processing : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers [Elektronische Ressource]

Lecture Notes in Computer Science : 6062

2010

Artificial Neural Networks and Machine Learning – ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

Lecture Notes in Computer Science : 10614

2017

Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Lecture Notes in Computer Science : 10301

2017

Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6174

2010

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings [Elektronische Ressource]

2001

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

Advances in Production Management Systems. Production Management for the Factory of the Future : IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I

IFIP Advances in Information and Communication Technology : 566

1st ed. 2019, 2019

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

Computer Aided Systems Theory - EUROCAST 2009 : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers [Elektronische Ressource]

Lecture Notes in Computer Science : 5717

2009

Verification of Business Rules Programs [Elektronische Ressource]

Berstel-Da Silva, Bruno

2014

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

Man-Machine-Environment System Engineering : Proceedings of the 18th International Conference on MMESE

Lecture Notes in Electrical Engineering : 527

2019

Link zum Volltext
Springer Intelligent Technologies & Robotics 2019 (ZDB-2-INR)

1 – 25 von 746

Suche als RSS-Feed

Aktive Filter

Autor / AutorinSinner, Dominik.

SpracheDeutsch

SystemstelleKAC

Neu hinzugefügt... im letzten Monat

SchlagwortArtificial intelligence

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(746)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(744)
Zeitschrift
(2)

Schlagwort

Logic design
(588)
Computer science
(574)
Software engineering
(308)
Computer Communication Networks
(132)
Logische Programmierung
(76)
Computer software
(72)
Information systems
(65)
Artificial Intelligence
(55)
Computer aided design
(53)
Automatisches Beweisverfahren
(52)
Mehragentensystem
(48)
Computational complexity
(40)
Computer simulation
(39)
Formale Methode
(39)
Algebra
(38)
Computer vision
(38)
Engineering design
(38)
Information storage and retrieval systems
(37)
Programmierlogik
(33)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(549)
0|e
(2)
0|e d
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Connectionism and the Philosophy of Mind

Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings [Elektronische Ressource]

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings [Elektronische Ressource]

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers [Elektronische Ressource]

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings [Elektronische Ressource]

Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Logic for Programming and Automated Reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings [Elektronische Ressource]

Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings [Elektronische Ressource]

Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers [Elektronische Ressource]

Automated Deduction — CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings [Elektronische Ressource]

Computer Aided Systems Theory — EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers [Elektronische Ressource]

Robotic Building

Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Guide to Computational Geometry Processing : Foundations, Algorithms, and Methods [Elektronische Ressource]

Logic for Programming, Aritficial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings [Elektronische Ressource]

Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Finite-State Methods and Natural Language Processing : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers [Elektronische Ressource]

Artificial Neural Networks and Machine Learning – ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings [Elektronische Ressource]

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings [Elektronische Ressource]

Advances in Production Management Systems. Production Management for the Factory of the Future : IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I

Computer Aided Systems Theory - EUROCAST 2009 : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers [Elektronische Ressource]

Verification of Business Rules Programs [Elektronische Ressource]

Man-Machine-Environment System Engineering : Proceedings of the 18th International Conference on MMESE

Aktive Filter

Suchergebnisse filtern