Monografie
Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)
- Sprache
-
Englisch
- Identifier
-
1157094619
- Reihe
-
Informatik-Berichte; 46
Thema
Informatik
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Syntactic Optimization of Expressions
Experimentelle Ergebnisse zur Effizienz der Suche nach Teilzeichenketten in deutschen Texten
GraphDB: A Data Model and Query Language for Graphs in Databases
The Network Query Language NOAH
Programming and Interface Specification Language of JIVE
Tutorial on Advanced Concepts in Fault Tree Analysis
Formal verification of a coordinated atomic action based design
A System for the Content-Based Retrieval of Textual and Non-Textual Documents Using a Natural Language Interface
Implementation of the ROSE Algebra
Predictable atomic multicast in the controller area network (CAN)
Formal Verification of a Doubly Linked List Implementation
9. Workshop Logische Programmierung
Syntactic Optimization of Expressions
Experimentelle Ergebnisse zur Effizienz der Suche nach Teilzeichenketten in deutschen Texten
GraphDB: A Data Model and Query Language for Graphs in Databases
The Network Query Language NOAH
Programming and Interface Specification Language of JIVE
Tutorial on Advanced Concepts in Fault Tree Analysis
Formal verification of a coordinated atomic action based design
A System for the Content-Based Retrieval of Textual and Non-Textual Documents Using a Natural Language Interface
Implementation of the ROSE Algebra
Predictable atomic multicast in the controller area network (CAN)
Formal Verification of a Doubly Linked List Implementation
9. Workshop Logische Programmierung
Syntactic Optimization of Expressions
Experimentelle Ergebnisse zur Effizienz der Suche nach Teilzeichenketten in deutschen Texten
GraphDB: A Data Model and Query Language for Graphs in Databases
The Network Query Language NOAH
Programming and Interface Specification Language of JIVE
Tutorial on Advanced Concepts in Fault Tree Analysis
Formal verification of a coordinated atomic action based design
A System for the Content-Based Retrieval of Textual and Non-Textual Documents Using a Natural Language Interface
Implementation of the ROSE Algebra
Predictable atomic multicast in the controller area network (CAN)
Formal Verification of a Doubly Linked List Implementation