Explore: Formale Semantik
Discover books, insights, and more — all in one place.
Learn more about Formale Semantik with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formale-semantik”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
By Hans Grönniger
“Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten” Metadata:
- Title: ➤ Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
- Author: Hans Grönniger
- Language: ger
- Number of Pages: Median: 344
- Publisher: Shaker
- Publish Date: 2010
- Publish Location: Aachen
“Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten” Subjects and Themes:
- Subjects: ➤ Modellgetriebene Entwicklung - Entwurfssprache - Objektorientierte Programmiersprache - Formale Semantik - Isabelle - HOL
Edition Identifiers:
- The Open Library ID: OL33176006M
- Online Computer Library Center (OCLC) ID: 682153461
- All ISBNs: 9783832292867 - 3832292861
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Naming and necessity
By Saul A. Kripke
“Naming and necessity” Metadata:
- Title: Naming and necessity
- Author: Saul A. Kripke
- Language: English
- Number of Pages: Median: 172
- Publisher: ➤ Blackwell Publishing, Incorporated - Harvard University Press - Basil Blackwell - Harvard Univrsity Press, 1981, c1980. - Harvard Univrsity Press - Cambridge, Harvard University Press, [
- Publish Date: 1980 - 1981 - 2003
- Publish Location: Cambridge, Mass - Oxford, Eng
“Naming and necessity” Subjects and Themes:
- Subjects: ➤ Identity - Identity (Philosophical concept) - Necessity (Philosophy) - Reference (Philosophy) - Language and languages, philosophy - Philosophy - Nécessité (Philosophie) - Référence (Philosophie) - Identité - Bedeutung - Formale Semantik - Modallogik - Identity (Psychology) - Identity (philosophical concept) - Reference (philosophy) - Necessity (philosophy) - Bd417 .k74
Edition Identifiers:
- The Open Library ID: OL14196474M - OL19263891M - OL7608408M - OL4421685M - OL21574832M
- Online Computer Library Center (OCLC) ID: 5726909 - 6436966 - 16496363
- Library of Congress Control Number (LCCN): 79026088 - 2003272028
- All ISBNs: ➤ 0631128018 - 0674598458 - 9780674598454 - 9780631101512 - 0631101519 - 9780631128014 - 0674598466 - 9780674598461
First Setence:
"Originally I had intended to revise or augment Naming and Necessity extensively."
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Naming and necessity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3New Frontiers In Artificial Intelligence
By Daisuke Bekki
“New Frontiers In Artificial Intelligence” Metadata:
- Title: ➤ New Frontiers In Artificial Intelligence
- Author: Daisuke Bekki
- Language: English
- Number of Pages: Median: 370
- Publisher: Springer
- Publish Date: ➤ 2011 - 2012 - 2013 - 2014 - 2017 - 2018
“New Frontiers In Artificial Intelligence” Subjects and Themes:
- Subjects: ➤ Computer Imaging, Vision, Pattern Recognition and Graphics - Database management - Computer networks - Information organization - Information retrieval - Computer vision - Computer science - Information storage and retrieval systems - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Natural language processing (computer science) - Congresses - Electronic data processing - Distributed processing - Data Mining - Formale Semantik - Künstliche Intelligenz - Logik - Mensch-Maschine-Kommunikation - Multimodales System - Natürliche Sprache - Rechtsinformatik - Wissensextraktion - Information Systems Applications (incl. Internet) - Information systems - Data Mining and Knowledge Discovery - Mathematical Logic and Formal Languages - Computer Appl. in Administrative Data Processing - Computer Communication Networks
Edition Identifiers:
- The Open Library ID: ➤ OL26042423M - OL28133889M - OL34851607M - OL28336048M - OL29756958M - OL28114175M - OL28232445M - OL37423248M
- Library of Congress Control Number (LCCN): 2013943817
- All ISBNs: ➤ 3642256546 - 9783319100609 - 9783319509525 - 9783642399312 - 3319937936 - 3319615718 - 3642399312 - 3319100602 - 9783319937939 - 9783642256554 - 9783642399305 - 9783642256547 - 9783319615714 - 3319509527 - 3642399304 - 3642256554
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find New Frontiers In Artificial Intelligence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Events and semantic architecture
By Paul M. Pietroski
“Events and semantic architecture” Metadata:
- Title: ➤ Events and semantic architecture
- Author: Paul M. Pietroski
- Language: English
- Number of Pages: Median: 274
- Publisher: ➤ Oxford University Press, U.S.A. - Oxford University Press - Oxford University Press, Incorporated
- Publish Date: 2004 - 2005 - 2006
- Publish Location: New York - Oxford
“Events and semantic architecture” Subjects and Themes:
- Subjects: ➤ Causation - Generative grammar - Language and languages - Meaning (Philosophy) - Philosophy - Structuralism - Satzbauplan - Formale Semantik - Meaning (Psychology) - Semantics (philosophy) - Act (philosophy) - Language and languages, philosophy
Edition Identifiers:
- The Open Library ID: OL3437935M - OL36291418M - OL28119040M
- Online Computer Library Center (OCLC) ID: 56964536
- Library of Congress Control Number (LCCN): 2005295898
- All ISBNs: ➤ 9780199244300 - 0199244308 - 0191529559 - 9780199244317 - 9780191529559 - 0199244316
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Events and semantic architecture at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5From logic design to logic programming
By Dominique Snyers
“From logic design to logic programming” Metadata:
- Title: ➤ From logic design to logic programming
- Author: Dominique Snyers
- Language: English
- Number of Pages: Median: 127
- Publisher: Springer-Verlag - Springer
- Publish Date: 1987
- Publish Location: London - Berlin
“From logic design to logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Algorithms - Automatic theorem proving - Logischer Entwurf - Théorèmes - Conception logique - Grammaire algébrique - Logisch programmeren - Démonstration théorème - Programmierlogik - Algorithmes - Structure logique - Formale Semantik - Fonction P. - Programmation logique - Programmation déclarative - Logique mathématique - Computer algorithms - Démonstration automatique - Automatisches Beweisverfahren - Programmation en logique - Sémantique
Edition Identifiers:
- The Open Library ID: OL27999951M - OL21342228M
- Online Computer Library Center (OCLC) ID: 16466351
- Library of Congress Control Number (LCCN): 87020773
- All ISBNs: 9780387182179 - 9783540182177 - 3540182179 - 0387182179
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find From logic design to logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Semantics of digital circuits
By Carlos Delgado Kloos
“Semantics of digital circuits” Metadata:
- Title: Semantics of digital circuits
- Author: Carlos Delgado Kloos
- Language: English
- Number of Pages: Median: 124
- Publisher: ➤ Springer-Verlag - Springer London, Limited
- Publish Date: 1987 - 2006
- Publish Location: New York - Berlin
“Semantics of digital circuits” Subjects and Themes:
- Subjects: ➤ Digital integrated circuits - STREAM (Computer hardware description language) - Entwurf - STREAM (Langage de description de matériel informatique) - Formale Semantik - VLSI - Circuits intégrés numériques
Edition Identifiers:
- The Open Library ID: OL50580243M - OL2398674M
- Online Computer Library Center (OCLC) ID: 16901125
- Library of Congress Control Number (LCCN): 87028629
- All ISBNs: 0387185402 - 9780387185408 - 3540480129 - 9783540480129
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Semantics of digital circuits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Coherence, reference, and the theory of grammar
By Andrew Kehler and Andy Kehler
“Coherence, reference, and the theory of grammar” Metadata:
- Title: ➤ Coherence, reference, and the theory of grammar
- Authors: Andrew KehlerAndy Kehler
- Language: English
- Number of Pages: Median: 231
- Publisher: ➤ Center for the Study of Language and Inf
- Publish Date: 2002
“Coherence, reference, and the theory of grammar” Subjects and Themes:
- Subjects: ➤ Comparative and general Grammar - Anapher <Syntax> - Formale Semantik - Cohérence discursive - Cohesie (taalkunde) - Grammaire comparée et générale - Ellipse - Consecutio temporum - Cohesion (Linguistics) - Discourse analysis - Grammatica - Analyse du discours - Kohärenz - Grammar, comparative and general - Cohesion (linguistics)
Edition Identifiers:
- The Open Library ID: OL8746331M
- All ISBNs: 1575862158 - 9781575862156
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Coherence, reference, and the theory of grammar at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Semantics in data and knowledge bases
By SDKB 2008 (3rd 2008 Nantes, France)
“Semantics in data and knowledge bases” Metadata:
- Title: ➤ Semantics in data and knowledge bases
- Author: ➤ SDKB 2008 (3rd 2008 Nantes, France)
- Language: English
- Number of Pages: Median: 214
- Publisher: Springer
- Publish Date: 2008
- Publish Location: Berlin
“Semantics in data and knowledge bases” Subjects and Themes:
- Subjects: ➤ Wissensbasis - Formale Semantik - Database management - Database design - Kongress - Congresses - Computer science - Mathematics - Datenbanksystem - Information retrieval - Computer science, mathematics
- Places: Nantes <2008>
Edition Identifiers:
- The Open Library ID: OL24546504M
- Online Computer Library Center (OCLC) ID: 272561173
- Library of Congress Control Number (LCCN): 2008938654
- All ISBNs: 3540885935 - 9783540885931
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Semantics in data and knowledge bases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Semantik und Programmverifikation
By Christoph Walther
“Semantik und Programmverifikation” Metadata:
- Title: ➤ Semantik und Programmverifikation
- Author: Christoph Walther
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 2001
- Publish Location: Wiesbaden
“Semantik und Programmverifikation” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL27087048M
- Online Computer Library Center (OCLC) ID: 863935744
- All ISBNs: 9783322867681 - 3322867684
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Semantik und Programmverifikation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.