UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 9 von 10
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Datensatz exportieren als...
BibTeX
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
Lecture Notes in Artificial Intelligence : 12057
Hofstedt, Petra
[Herausgeber]
Abreu, Salvador
[Herausgeber]
John, Ulrich
[Herausgeber]
Kuchen, Herbert
[Herausgeber]
Seipel, Dietmar
[Herausgeber]
1st ed. 2020, 2020
Details
Autor(en) / Beteiligte
Hofstedt, Petra
[Herausgeber]
Abreu, Salvador
[Herausgeber]
John, Ulrich
[Herausgeber]
Kuchen, Herbert
[Herausgeber]
Seipel, Dietmar
[Herausgeber]
Titel
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
Ist Teil von
Lecture Notes in Artificial Intelligence : 12057
Auflage
1st ed. 2020
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2020
Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Sprache
Englisch
Identifikatoren
ISBN: 9783030467142
Titel-ID: 990366612560206441
Format
1 Online-Ressource (X, 309 p. 545 illus., 32 illus. in color)
Schlagworte
Künstliche Intelligenz
,
Programmierung
,
Mathematische Logik
,
Artificial intelligence
,
Computer programming
,
Programming languages (Electronic computers)
,
Mathematical logic
,
Computers
,
Computer communication systems