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
Handbook of logic in artificial intelligence and logic programming
Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications
Signatur: TVU4594-...
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände), Spektrum Lehrbuch
4., überarb. Aufl, 1995
Signatur: TVD1745(4)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Spektrum-Hochschultaschenbuch
5. Aufl, 2000
Signatur: TVD1745(5)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
3., überarb. Aufl, 1992
Signatur: TVD1745(3)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
1987
Signatur: TVD1745
    Datensatz exportieren als...
  • BibTeX
From logic to logic programming
Foundations of computing
1994
Signatur: TVM3297
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
2., überarb. Aufl, 1989
Signatur: TVD1745(2)
    Datensatz exportieren als...
  • BibTeX
Mathematical Logic for Computer Science [Elektronische Ressource]
3rd ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Logic and its applications
1996
Signatur: TVD2042
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988
Lecture notes in mathematics : 1429 (Alle Bände), Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) : 1988,1 (Alle Bände)
1990
Signatur: TAY880740
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Computational logic : essays in honor of Alan Robinson
1991
Signatur: TTQR1012
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Foundations of Inductive Logic Programming [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 10th International Conference, ILP 2000 London, UK, July 24–27, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Logic for Computer Scientists [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Logical Aspects of Computational Linguistics : Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Logical Aspects of Computational Linguistics : First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers [Elektronische Ressource]
1997
1 – 25 von 56
Suche als RSS-Feed
Aktive Filter
SchlagwortLogische Programmierung
Suchergebnisse filtern
Filter anzeigen