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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Lecture Notes in Artificial Intelligence : 11481
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Metainformatics : International Symposium, MIS 2002, Esbjerg, Denmark, August 7–10, 2002. Revised Papers [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5713
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6445
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Theoretical Computer Science and General Issues : 10094
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multi-Agent Programming : Languages, Platforms and Applications [Elektronische Ressource]
Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series : 15
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5919
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semirings for Soft Constraint Solving and Programming [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6037
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Isabelle/HOL : A Proof Assistant for Higher-Order Logic [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mobile Object Systems Towards the Programmable Internet : Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6355
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development [Elektronische Ressource]
2004
Volltextzugriff (PDF)
1 – 25 von 63
Suche als RSS-Feed
Aktive Filter
Autor / AutorinMerelo-Guervós, Juan J
SystemstelleTXP
SystemstelleZJB
SchlagwortArtificial intelligence
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen