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
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
1986
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence and Soft Computing -- ICAISC 2004: 7th International Conference Zakopane, Poland, June 7-11, 2004 Proceedings
1, 2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 2000 Proceedings
2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Flexible Query Answering Systems: 5th International Conference, FQAS 2002. Copenhagen, Denmark, October 27-29, 2002, Proceedings
1, 2002
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
E-Unification based on Generalized Embedding
Mathematical structures in computer science, 2022-03, Vol.31 (8), p.898-917
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Knowledge-based proof planning
Artificial intelligence, 1999-11, Vol.115 (1), p.65-105
1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution
Journal of the ACM, 2001-01, Vol.48 (1), p.145-147
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Cryptology CRYPTO '91: Proceedings
1, 1992
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
ActiveMath: An Intelligent Tutoring System for Mathematics
Artificial Intelligence and Soft Computing - ICAISC 2004, 2004, p.91-101
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI'97Workshop Aix-en-Provence, France, August 11-22, 1997 Revised Lectures
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Coordinatio Languages and Models: Third International Conference COORDINATION'99 Amsterdam, The Netherlands, April 26-28, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Yesterday, my program worked. Today, it does not. Why?
Lecture notes in computer science, 1999, p.253-267
1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Secure Networking - CQRE (Secure) '99: International Exhibition and Congress düsseldorf, Germany, November 30 - December 2, 1999, Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intelligent Agents for Telecommunication Applications: Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999, Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computer Performance Evaluation: Modelling Techniques and Tools 10th International Conference, Tools'98 Palma de Mallorca, Spain September 14-18, 1998 Proceedings
1, 1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Environments for Multi-Agent Systems III: Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006 : Selected Revised and Invited Papers
1, 2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computational Learning Theory: Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings
1995
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Genetic Programming: Second European Workshop, EuroGP'99 Göteborg, Sweden, May 26-27, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems: 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amsterdam, The Netherlands, March 22-28, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computation for Metaphors, Analogy, and Agents
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99 Toulouse, France, September 27-29, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SDL 2001 Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : Proceedings
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : Proceedings
1, 2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intelligent tutoring systems: 6th international conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2 - 7, 2002. Proceedings
n.d, 2002, Vol.2363 (2363)
1, 2002
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 187
Suche als RSS-Feed
Aktive Filter
ThemaInformatika
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...