Computation as logic

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

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/476452105#Topic/modele
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logika_szimbolikus
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programacion_funcional
http://experiment.worldcat.org/entity/work/data/476452105#Topic/calcul_lambda_programmation_logique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_logique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_logique_systeme_de_reecriture_informatique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_dynamique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_par_fonctions
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_fonctionnelle_informatique
http://id.worldcat.org/fast/936086
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logische_programmierung
http://id.loc.gov/authorities/subjects/sh86003454
http://experiment.worldcat.org/entity/work/data/476452105#Topic/informatik
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/476452105#Topic/reecriture
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logik
http://experiment.worldcat.org/entity/work/data/476452105#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logique_1er_ordre
http://experiment.worldcat.org/entity/work/data/476452105#Topic/reduction
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_en_logique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programacion_ordenadores_electronicos
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logica_simbolica_y_matematica
http://id.loc.gov/authorities/subjects/sh87007844
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programacion_logica
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/476452105#Topic/matematikai_logika_szamitastudomany
http://experiment.worldcat.org/entity/work/data/476452105#Topic/lambda_calcul
http://experiment.worldcat.org/entity/work/data/476452105#Topic/funktionale_programmierung
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programacio_ordinadors
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programacion_funcional_informatica
http://experiment.worldcat.org/entity/work/data/476452105#Topic/resolution_probleme
http://experiment.worldcat.org/entity/work/data/476452105#Topic/traitement_automatique_des_donnees
http://experiment.worldcat.org/entity/work/data/476452105#Topic/programmation_fonctionnelle
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logique
http://id.worldcat.org/fast/1002056
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/476452105#Topic/logique_equationnelle
http://id.worldcat.org/fast/1002068

http://schema.org/author

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

http://schema.org/contributor

http://worldcat.org/entity/person/id/2635126347
http://worldcat.org/entity/person/id/2638237536
http://worldcat.org/entity/person/id/2630507591

http://schema.org/creator

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

http://schema.org/name

"Logique, réduction, résolution"
"Computation as logic"@en
"Computation as logic"@it
"Computation as logic"
"Logique, réduction, resólution"

http://schema.org/workExample

http://www.worldcat.org/oclc/634112300
http://www.worldcat.org/oclc/27266505
http://www.worldcat.org/oclc/807056621
http://www.worldcat.org/oclc/639786519
http://www.worldcat.org/oclc/802829944
http://www.worldcat.org/oclc/624425523
http://www.worldcat.org/oclc/878753147
http://www.worldcat.org/oclc/782077306
http://www.worldcat.org/oclc/263568007
http://www.worldcat.org/oclc/468544152
http://www.worldcat.org/oclc/909214597
http://www.worldcat.org/oclc/850869388
http://www.worldcat.org/oclc/636087247
http://www.worldcat.org/oclc/475775470
http://www.worldcat.org/oclc/863601235
http://www.worldcat.org/oclc/623362309
http://www.worldcat.org/oclc/715631758
http://www.worldcat.org/oclc/883403140
http://www.worldcat.org/oclc/23035107

calcul lambda programmation logique.

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
"calcul lambda programmation logique."