English
German
French
Russian
Close
Language
Help
Books
Magazines
Search » logic
Search
in
materials
tags
language
All
German
English
French
Russian
Try search in materials
Search results for tags «logic»
Found materials: 4
Related tags:
language
,
natural
,
programming
,
quantum
,
really
,
saint-dizier
,
situations
,
automata
,
straubing
,
circuit
Books
: Situations, language and logic
Fenstad J.E.
, 1987
Situations, language and logic
Books
: Natural language understanding and logic programming
Dahl V.
,
Saint-Dizier P.
, 1991
Natural language parsing was one of the main motivations from which Prolog was developed Metamorphosis grammars, designed by Alain Colmerauer at GIA Marseille, was the first logic-based formalism for …
Books
: Finite automata, format logic, and circuit complexity
Straubing H.
, 1994
The study of the connections between mathematical automata and formal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how…
Books
: Is quantum logic really logic?
Gardner M.R.
, 1971
Putnam and Finkelstein have proposed the abandonment of distributivity in the logic of quantum theory. This change results from defining the connectives, not truth- functionally, but in terms of a cer…
Navigation:
Tags
algebra
algorithms
applications
buddhism
business
christie
computer
detective
economics
finance
geometry
graphics
history
java
magazines
management
mathematics
mechanics
network
physics
politics
programming
religion
science
scientific
sociology
software development
technical books
web construction
world bank
Try search in tags
© 2007–2019
Dleex
.
English
German
French
Russian
For any question please write to our email