Search » logic

Search     in     language   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…


Dleex

© 2007–2019 Dleex.

English      German      French      Russian

For any question please write to our email e-mail