UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 75

Sortiert nach

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings [Elektronische Ressource]

2000

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Algebraic Informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers [Elektronische Ressource]

2007

Ansätze zur Integration der Semantik in die Grammatik

Forschungen Linguistik und Kommunikationswissenschaft : 3 (Alle Bände)

Egli, Urs

1974

Signatur: BHQ1693

Die Antinomien der Logik : semantische Untersuchungen

Kutschera, Franz <<von>>

1964

Signatur: TCK1540

Applied Semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Bedeutung und Notwendigkeit : eine Studie zur Semantik und modalen Logik

Library of exact philosophy : 6 (Alle Bände)

Carnap, Rudolf

1972

Signatur: JDIG1009

The Cambridge handbook of formal semantics

Cambridge handbooks in language and linguistics

2016

Signatur: BHQ4926

La complementación morfológica en español : ensayo de interpretación semántica

Studien zur romanischen Sprachwissenschaft und interkulturellen Kommunikation : 17 (Alle Bände)

Morera, Marcial

2005

Signatur: FOM1130

Computational linguistics and formal semantics

Studies in natural language processing

Rosner, Michael[Herausgeber]

1992

Signatur: BFP2256

Contemporary research in philosophical logic and linguistic semantics : proceedings of a conference held at the Univ. of Western Ontario, London, Canada

The University of Western Ontario series in philosophy of science : 4 (Alle Bände)

Hockney, Donald J[Herausgeber]

1975

Signatur: HLF1684

Contemporary research in philosophical logic and linguistic semantics : proceedings of a conference held at the Univ. of Western Ontario, London, Canada

The University of Western Ontario Series in philosophy of science : 4 (Alle Bände)

Hockney, Donald J[Herausgeber]

1975

Signatur: BEL1777

Control flow semantics

Foundations of computing

1996

Signatur: TVM4544

Database semantics : semantic issues in multimedia systems ; IFIP TC2/WG2.6 Eighth Working Conference on Database Semantics (DS-8), Rotorua, New Zealand, January 4 - 8, 1999

1999

Signatur: TVV16796

Design concepts in programming languages

2008

Signatur: TXA4738

Discourse Particles : Formal Approaches to their Syntax and Semantics

[2016]

Essays in logical semantics

Studies in linguistics and philosophy : 29 (Alle Bände)

Benthem, Johan <<van>>

1986

Signatur: BHQ3475

Events in the semantics of English : a study in subatomic semantics

Current studies in linguistics series : 19 (Alle Bände)

Parsons, Terence

1990

Signatur: DMB1262

Evolution of Semantic Systems [Elektronische Ressource]

2013

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2013 (ZDB-2-SCS)

Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings [Elektronische Ressource]

2005

Formal models and semantics

Handbook of theoretical computer science : B (Alle Bände)

Leeuwen, Jan <<van>>[Herausgeber]

1990

Signatur: TVA2136-B

Formal semantics : an introduction

Cambridge textbooks in linguistics

Cann, Ronnie

1993

Signatur: BHQ3734

Formal Syntax and Semantics of Java [Elektronische Ressource]

Alves-Foss, Jim

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Formale Semantik und natürliche Sprache : einführendes Lehrbuch

Lohnstein, Horst

1996

Signatur: BHQ4031

Formale Semantik und natürliche Sprache : einführendes Lehrbuch [Elektronische Ressource]

De Gruyter Studium

Lohnstein, Horst

2., durchges. u. erw. Aufl, 2011

Link zum Volltext
Volltext
Volltext
Einen weiteren Link anzeigen
Weniger anzeigen

Foundations of object oriented languages : types and semantics

Bruce, Kim B

2002

Signatur: TXB6832

1 – 25 von 75

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(53)
Online-Ressource
(22)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(75)

Schlagwort

Formale Semantik
(66)
Semantik
(18)
Computer science
(17)
Logik
(14)
Artificial intelligence
(10)
Logic design
(9)
Formale Sprache
(8)
Programmiersprache
(8)
Software engineering
(6)
Formale Methode
(5)
Natürliche Sprache
(5)
Sprachphilosophie
(5)
Data mining
(4)
Database management
(4)
Information storage and retrieval systems
(4)
Information systems
(4)
Mathematische Logik
(4)
Philosophie
(4)
Syntax
(4)
Typentheorie
(4)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

BHQ
(12)
HLK
(5)
HLF
(3)
HLH
(3)
BEP
(2)
TVA
(2)
TVD
(2)
TWY
(2)
64
(1)
BEL
(1)
BFP
(1)
BHE
(1)
BHI
(1)
CDQ
(1)
DMB
(1)
EUN
(1)
FOM
(1)
HIN
(1)
HJK
(1)
HJP
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings [Elektronische Ressource]

Algebraic Informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers [Elektronische Ressource]

Ansätze zur Integration der Semantik in die Grammatik

Die Antinomien der Logik : semantische Untersuchungen

Applied Semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures [Elektronische Ressource]

Bedeutung und Notwendigkeit : eine Studie zur Semantik und modalen Logik

The Cambridge handbook of formal semantics

La complementación morfológica en español : ensayo de interpretación semántica

Computational linguistics and formal semantics

Contemporary research in philosophical logic and linguistic semantics : proceedings of a conference held at the Univ. of Western Ontario, London, Canada

Contemporary research in philosophical logic and linguistic semantics : proceedings of a conference held at the Univ. of Western Ontario, London, Canada

Control flow semantics

Database semantics : semantic issues in multimedia systems ; IFIP TC2/WG2.6 Eighth Working Conference on Database Semantics (DS-8), Rotorua, New Zealand, January 4 - 8, 1999

Design concepts in programming languages

Discourse Particles : Formal Approaches to their Syntax and Semantics

Essays in logical semantics

Events in the semantics of English : a study in subatomic semantics

Evolution of Semantic Systems [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings [Elektronische Ressource]

Formal models and semantics

Formal semantics : an introduction

Formal Syntax and Semantics of Java [Elektronische Ressource]

Formale Semantik und natürliche Sprache : einführendes Lehrbuch

Formale Semantik und natürliche Sprache : einführendes Lehrbuch [Elektronische Ressource]

Foundations of object oriented languages : types and semantics

Suchergebnisse filtern