• Start
  • Hilfe
  • Blog
  • Weitere Dienste
    NeuerwerbungslistenFachsystematik BücherErwerbungsvorschlagBestellung aus dem MagazinFernleihe
Anmelden
Neuer Katalog (Beta-Version) Weitere Infos
  1. Universitätsbibliothek
  2. Katalog
  3. Suche
  4. im Katalog
  • Katalog
  • Central Discovery Index
1 – 7 von 7
Sortiert nach
  • Relevanz
  • Autor / Autorin
  • Erscheinungsjahr
  • Systemstelle
  • Titel
  • Bandzählung
  • Neuerwerbung
Beim Laden der Verfügbarkeitsinformationen ist ein Fehler aufgetreten. Bitte versuchen Sie es zu einem späteren Zeitpunkt erneut.
Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers [Elektronische Ressource]
Dybjer, Peter;Nordström, Bengt;Smith, Jan
1995
Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)
  • Bitte anmelden um Merklisten zu nutzen

Advances in natural language processing : : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings /
GoTAL 2008;Ranta, Aarne,;Nordström, Bengt,
[2008]
Link zum Volltext
SpringerLink Books - AutoHoldings
  • Bitte anmelden um Merklisten zu nutzen

Programming in Martin-Löf's type theory : an introduction
The international series of monographs on computer science : 7 (Alle Bände)
Nordström, Bengt;Petersson, Kent;Smith, Jan M
1990
Signatur: TVM2479
  • Bitte anmelden um Merklisten zu nutzen

Types for Proofs and Programs : International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers [Elektronische Ressource]
Coquand, Thierry;Dybjer, Peter;Nordström, Bengt;Smith, Jan
2000
Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
  • Bitte anmelden um Merklisten zu nutzen

Advances in Natural Language Processing : 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings [Elektronische Ressource]
Carbonell, Jaime G;Nordström, Bengt;Ranta, Aarne;Siekmann, J\"org
2008
Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2008 (ZDB-2-SCS)
  • Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
  • Volltext
  • Volltext
  • Bitte anmelden um Merklisten zu nutzen

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / [[electronic resource] :]
TYPES '99;TYPES '99;Coquand, Thierry[Herausgeber];Dybjer, Peter[Herausgeber];Nordström, Bengt[Herausgeber];Smith, Jan[Herausgeber];TYPES '99
2000.
Link zum Volltext
SpringerLink Books - AutoHoldings
  • Bitte anmelden um Merklisten zu nutzen

Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / [[electronic resource] :]
International Workshop TYPES '94;International Workshop TYPES '94;Dybjer, Peter[Herausgeber];Nordström, Bengt[Herausgeber];Smith, Jan[Herausgeber];International Workshop TYPES '94
1995.
Link zum Volltext
SpringerLink Books - AutoHoldings
  • Bitte anmelden um Merklisten zu nutzen
1 – 7 von 7
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
  • Online-Ressource
    (6)
  • Gedruckt
    (1)
Mehr anzeigen...
Weniger anzeigen...
Autor / Autorin
  • Nordström, Bengt
    (6)
  • Dybjer, Peter
    (4)
  • Smith, Jan
    (4)
  • Coquand, Thierry
    (2)
  • Carbonell, Jaime G
    (1)
  • GoTAL 2008
    (1)
  • International Workshop TYPES '94
    (1)
  • Nordström, Bengt,
    (1)
  • Petersson, Kent
    (1)
  • Ranta, Aarne
    (1)
  • Ranta, Aarne,
    (1)
  • Siekmann, J\"org
    (1)
  • Smith, Jan M
    (1)
  • TYPES '99
    (1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsform
  • Buch
    (7)
Mehr anzeigen...
Weniger anzeigen...
Schlagwort
  • Artificial intelligence
    (4)
  • Artificial Intelligence
    (2)
  • Computer logic
    (2)
  • Computer science
    (2)
  • Logics and Meanings of Programs
    (2)
  • Mathematical Logic and Formal Languages
    (2)
  • Mathematical Logic and Foundations
    (2)
  • Mathematical logic
    (2)
  • Programming Languages, Compilers, Interpreters
    (2)
  • Programming languages (Electronic computers)
    (2)
  • Beweistheorie
    (1)
  • Formale Methode
    (1)
  • Information storage and retrieval systems
    (1)
  • Logic design
    (1)
  • Logic, Symbolic and mathematical
    (1)
  • Martin-Löf-Typentheorie
    (1)
  • Natural language processing (Computer science)
    (1)
  • Programmierung
    (1)
  • Reduktionssystem
    (1)
  • Software Engineering/Programming and Operating Systems
    (1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
  • ... in den letzten 12 Monaten
    (0)
  • ... in den letzten 3 Monaten
    (0)
  • ... im letzten Monat
    (0)
Sprache
  • Englisch
    (6)
Mehr anzeigen...
Weniger anzeigen...
Systemstelle
  • TVM
    (1)
Mehr anzeigen...
Weniger anzeigen...
Art des Inhalts
  • Sonstiges
    (4)
  • Nicht angegeben
    (3)
Mehr anzeigen...
Weniger anzeigen...
Die Universität der Informationsgesellschaft
© 2023 Universitätsbibliothek Paderborn | Impressum | Datenschutzerklärung