Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Anmelden
Neuer Katalog (Beta-Version)
Weitere Infos
Universitätsbibliothek
Katalog
Suche
im Katalog
Katalog
Central Discovery Index
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Ort / Verlag
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Ort / Verlag
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
1 – 7 von 7
Sortiert nach
Relevanz
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)
+3
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
Suche teilen
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
Ergebnisse filtern
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...