Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et [lambda]-calcul

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/497491415#Topic/completude
http://experiment.worldcat.org/entity/work/data/497491415#Topic/programmation_logique
http://experiment.worldcat.org/entity/work/data/497491415#Topic/fonction_recursive
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logique_du_premier_ordre_manuel
http://experiment.worldcat.org/entity/work/data/497491415#Topic/programmation_en_logique
http://experiment.worldcat.org/entity/work/data/497491415#Topic/lambda_calcul
http://experiment.worldcat.org/entity/work/data/497491415#Topic/fonctions_recursives
http://experiment.worldcat.org/entity/work/data/497491415#Topic/calcul_propositionnel
http://experiment.worldcat.org/entity/work/data/497491415#Topic/calculabilite
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/497491415#Topic/calcul_lambda_manuel
http://experiment.worldcat.org/entity/work/data/497491415#Topic/stufe_1
http://experiment.worldcat.org/entity/work/data/497491415#Topic/berechenbarkeit
http://experiment.worldcat.org/entity/work/data/497491415#Topic/calculabilite_manuel
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logique_du_premier_ordre
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logique_1er_ordre
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logik
http://experiment.worldcat.org/entity/work/data/497491415#Topic/informatica
http://experiment.worldcat.org/entity/work/data/497491415#Topic/deduction
http://experiment.worldcat.org/entity/work/data/497491415#Topic/fonctions_calculables
http://experiment.worldcat.org/entity/work/data/497491415#Topic/informatique_mathematiques
http://experiment.worldcat.org/entity/work/data/497491415#Topic/lambda_kalkul
http://experiment.worldcat.org/entity/work/data/497491415#Topic/indecidabilite
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/497491415#Topic/logique_mathematiques_manuel
http://experiment.worldcat.org/entity/work/data/497491415#Topic/incompletude

http://schema.org/contributor

http://worldcat.org/entity/person/id/2628460390

http://schema.org/creator

http://worldcat.org/entity/person/id/2642934861

http://schema.org/name

"Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et [lambda]-calcul"
"Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et [operador lambda]-calcul"
"Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et"
"Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et [opérateur lambda]-calcul"
"Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul"

http://schema.org/workExample

http://www.worldcat.org/oclc/28985507
http://www.worldcat.org/oclc/833466909
http://www.worldcat.org/oclc/802425552
http://www.worldcat.org/oclc/633139093
http://www.worldcat.org/oclc/841860081
http://www.worldcat.org/oclc/639811124

Berechenbarkeit.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Berechenbarkeit."