logique computationnelle
Sign in to saveuse of logic to perform or reason about computation
In the Vinony graph
Vinony's link graph records 36 inbound references to logique computationnelle, and connects out to formal verification, John Alan Robinson and mathematics.
It sits within the topics Computational fields of study and Logic in computer science.
Vinony links it to 6 Wikipedia language editions.
Wikidata facts
- Subclass of
- logic
- Said to be same as
- logic in computer science
Sources (3)
via Wikidata · CC0
Connections
formal verification
Entity
John Alan Robinson
Entity
mathematics
Entity
philosophy
Entity
logic
Entity
computer science
Entity
International Standard Book Number
Entity
mathematical logic
Entity
University of Edinburgh
Entity
logic programming
Entity
philosophical logic
Entity
computation
Entity
type theory
Entity
automated reasoning
Entity
automated theorem proving
Entity
logic in computer science
Entity
Robert S. Boyer
Entity
Dov Gabbay
Entity