Sortiert nach
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
Programming languages : principles and paradigms
Undergraduate topics in computer science
2010
Signatur: TXA4631
    Datensatz exportieren als...
  • BibTeX
Constraint satisfaction in logic programming
Logic programming
1989
Signatur: TVM2615
    Datensatz exportieren als...
  • BibTeX
Logic and algebra of specification : proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991
NATO ASI series : Series F, Computer and systems sciences : 94 (Alle Bände)
1993
Signatur: TAY910765
    Datensatz exportieren als...
  • BibTeX
Programming Languages: Principles and Paradigms [Elektronische Ressource]
Undergraduate Topics in Computer Science
2010
    Datensatz exportieren als...
  • BibTeX
Logic program synthesis from incomplete information
The Kluwer international series in engineering and computer science : 295 (Alle Bände)
1995
Signatur: TVM3718
    Datensatz exportieren als...
  • BibTeX
Logic programming : proceedings of the ... conference
1986-
    Datensatz exportieren als...
  • BibTeX
Logic programming over polymorphically order-sorted types
1989
Signatur: D2127
    Datensatz exportieren als...
  • BibTeX
Logic programming : systematic program development
International series in logic programming
1990
Signatur: TVM2550
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Informatik-Fachberichte : 199 (Alle Bände)
1988
Signatur: TVM2225
    Datensatz exportieren als...
  • BibTeX
Theorie der logischen Programmierung : eine elementare Einführung
Springer-Lehrbuch
1992
Signatur: TVM2885
    Datensatz exportieren als...
  • BibTeX
Logic programming : proceedings of the 1991 International Symposium ; [papers presented at the 1991 International Symposium on Logic Programming, held in San Diego, USA, from Oct. 28 to Nov. 1, 1991
Logic programming
1991
Signatur: TVM2843
    Datensatz exportieren als...
  • BibTeX
Advances in logic programming theory
International schools for computer scientists, Oxford science publications
1994
Signatur: TVM3328
    Datensatz exportieren als...
  • BibTeX
The logic programming paradigm : a 25-year perspective
Artificial intelligence
1999
Signatur: TVM4447
    Datensatz exportieren als...
  • BibTeX
Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
A Tight, Practical Integration of Relations and Functions [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects
Reprint 2020, [2020]
    Datensatz exportieren als...
  • BibTeX
Logic programming : formal methods and practical applications
Studies in computer science and artificial intelligence : 11 (Alle Bände)
1995
Signatur: TVM3475
    Datensatz exportieren als...
  • BibTeX
The Gödel programming language
Logic programming
1994
Signatur: TVM3491
    Datensatz exportieren als...
  • BibTeX
Advanced logic programming for language processing
1994
Signatur: TVM3302
    Datensatz exportieren als...
  • BibTeX
Logic programming : proceedings of the ... internat. conference
1987-
    Datensatz exportieren als...
  • BibTeX
Parallel logic programming
Wiley series in parallel computing, Wiley professional computing
1992
Signatur: TWT3026
    Datensatz exportieren als...
  • BibTeX
Logik und Programmieren in Logik : ein Lehrbuch
1995
Signatur: TVM3530
    Datensatz exportieren als...
  • BibTeX
Types in logic programming
Logic programming
1992
Signatur: TVM2924
    Datensatz exportieren als...
  • BibTeX
Einführung in die logische Programmierung mit PROLOG
BI-Hochschultaschenbücher : 630 (Alle Bände)
2., überarb. u. erw. Aufl, 1988
Signatur: TXU1714(2)
    Datensatz exportieren als...
  • BibTeX
Parallel logic programming
Logic programming
1991
Signatur: TVM2908
1 – 25 von 184
Suche als RSS-Feed
Aktive Filter
SchlagwortLogische Programmierung
Suchergebnisse filtern
Filter anzeigen