Explore: Logique Formelle
Discover books, insights, and more — all in one place.
Learn more about Logique Formelle with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logique-formelle”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1L' intelligence artificielle et le langage
By Gerard Sabah

“L' intelligence artificielle et le langage” Metadata:
- Title: ➤ L' intelligence artificielle et le langage
- Author: Gerard Sabah
- Language: fre
- Number of Pages: Median: 357
- Publisher: Hermes
- Publish Date: 1990
- Publish Location: Paris
“L' intelligence artificielle et le langage” Subjects and Themes:
- Subjects: ➤ Gestion dialogue - Modèle représentation - Logique formelle - Linguistique - Représentation connaissance - Réseau sémantique - Compréhension langage naturel - Langage naturel - Sémantique - Grammaire - Langage naturel, Traitement du (informatique) - Systèmes homme-machine - Intelligence artificielle - Langage - Représentation des connaissances - Artificial intelligence - Linguistics
Edition Identifiers:
- The Open Library ID: OL15245689M
- Online Computer Library Center (OCLC) ID: 24869343
- All ISBNs: 9782866011345 - 2866011341
Access and General Info:
- First Year Published: 1990
- 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 L' intelligence artificielle et le langage at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Wprowadzenie do logiki formalnej
By Barbara Stanosz

“Wprowadzenie do logiki formalnej” Metadata:
- Title: ➤ Wprowadzenie do logiki formalnej
- Author: Barbara Stanosz
- Language: pol
- Number of Pages: Median: 104
- Publisher: Pan stwowe Wydawnictwo Naukowe
- Publish Date: 1985
- Publish Location: Warszawa
“Wprowadzenie do logiki formalnej” Subjects and Themes:
- Subjects: Logique formelle - [manuel]
Edition Identifiers:
- The Open Library ID: OL25557242M
- Online Computer Library Center (OCLC) ID: 715922105
- All ISBNs: 8301055154 - 9788301055158
Access and General Info:
- First Year Published: 1985
- 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 Wprowadzenie do logiki formalnej at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3First-Order Dynamic Logic
By D. Harel

“First-Order Dynamic Logic” Metadata:
- Title: First-Order Dynamic Logic
- Author: D. Harel
- Language: English
- Number of Pages: Median: 148
- Publisher: Springer
- Publish Date: 1979
“First-Order Dynamic Logic” Subjects and Themes:
- Subjects: ➤ Programmation - Mathematische Logik - Langage algébrique - Logique premier ordre - Logique programme - Computer programming - Programmierung - Logik - Logique symbolique et mathématique - Sémantique langage - Symbolic and mathematical Logic - Analyse programme - Programmation (Informatique) - Recursion theory - Ordinateurs - Récursivité, Théorie de la - Logique formelle - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL12771312M
- All ISBNs: 9783540092377 - 3540092374
Access and General Info:
- First Year Published: 1979
- 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 First-Order Dynamic Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.