<http://experiment.worldcat.org/entity/work/data/808010667#Topic/computable_functions_data_processing> <http://schema.org/name> "Computable functions Data processing." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/computable_functions_data_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_computer_system> <http://schema.org/name> "Cambridge LCF (Computer system)" .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_computer_system> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/ml_llenguatge_de_programacio> <http://schema.org/name> "ML (Llenguatge de programació)" .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/ml_llenguatge_de_programacio> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/logique_1er_ordre> <http://schema.org/name> "logique 1er ordre." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/logique_1er_ordre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/808010667.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/808010667> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/funciones_calculables_informatica> <http://schema.org/name> "Funciones calculables Informática." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/funciones_calculables_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbarkeit> <http://schema.org/name> "Berechenbarkeit." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbarkeit> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/traitement_des_donnees> <http://schema.org/name> "Traitement des données." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/traitement_des_donnees> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/856665651> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636814658> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909682512> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/40239066> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/programowanie_logiczne> .
<http://worldcat.org/entity/work/id/808010667> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/16227523> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87004012> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/elaboratori_elettronici_programmazione_sistema_cambridge_lcf> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/498602040> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_demonstration_de_theoreme> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/832352999> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/299409202> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/246548450> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/reecriture> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonctions_calculables_informatique> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbarkeit> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_sistema_informatico> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/logica_simbolica_y_matematica_programas_y_sistemas_de_programacion> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/902071992> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_systeme_informatique> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2636814658> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/funzioni_computabili_elaborazione_dei_dati> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/funciones_calculables_informatica> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/contributor> <http://viaf.org/viaf/127979069> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/logika_symboliczna_i_matematyczna> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/theoretische_informatica> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/contributor> <http://viaf.org/viaf/153568718> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029470> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_fonctions_calculables> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/genre> "Matériel didactique" .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889139953> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/639667161> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636814658> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_computer_system> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/249143636> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonction_calculable> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797196197> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/name> "Logic and Computation : Interactive Proof with Cambridge LCF" .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://id.worldcat.org/fast/844674> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751107234> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/668199303> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/name> "Logic and computation : interactive proof with Cambridge LCF"@en .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/informatique> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/645078472> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/name> "Logic and computation : interactive proof with Cambridge LCF" .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://id.worldcat.org/fast/871987> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/calculabilite_cambridge_lcf_logiciel> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802558784> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/funcions_recursives> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/logique_1er_ordre> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/lcf> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n50059133> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/715320341> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472123280> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/ml_llenguatge_de_programacio> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/workExample> <http://www.worldcat.org/oclc/813436138> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/preuve_interactive> .
<http://worldcat.org/entity/work/id/808010667> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/traitement_des_donnees> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/name> "Logic and Computation Interactive Proof with Cambridge LCF" .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/computable_functions_data_processing> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbare_funktion> .
<http://worldcat.org/entity/work/id/808010667> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79018862> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_fonctions_calculables> <http://schema.org/name> "Cambridge LCF (logiciel) fonctions calculables." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_fonctions_calculables> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/elaboratori_elettronici_programmazione_sistema_cambridge_lcf> <http://schema.org/name> "Elaboratori elettronici - Programmazione - Sistema Cambridge LCF." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/elaboratori_elettronici_programmazione_sistema_cambridge_lcf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/lcf> <http://schema.org/name> "LCF." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/lcf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_systeme_informatique> <http://schema.org/name> "Cambridge LCF (Système informatique)" .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_systeme_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbare_funktion> <http://schema.org/name> "Berechenbare Funktion." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbare_funktion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/programowanie_logiczne> <http://schema.org/name> "Programowanie logiczne." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/programowanie_logiczne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf> <http://schema.org/name> "Cambridge LCF." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf> <http://schema.org/name> "CAMBRIDGE LCF." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/preuve_interactive> <http://schema.org/name> "preuve interactive." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/preuve_interactive> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonctions_calculables_informatique> <http://schema.org/name> "Fonctions calculables Informatique." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonctions_calculables_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/reecriture> <http://schema.org/name> "réécriture." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/reecriture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/calculabilite_cambridge_lcf_logiciel> <http://schema.org/name> "calculabilité Cambridge LCF (logiciel)" .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/calculabilite_cambridge_lcf_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_demonstration_de_theoreme> <http://schema.org/name> "Cambridge LCF (logiciel) démonstration de théorème." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_demonstration_de_theoreme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonction_calculable> <http://schema.org/name> "fonction calculable." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonction_calculable> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/funzioni_computabili_elaborazione_dei_dati> <http://schema.org/name> "Funzioni computabili - Elaborazione dei dati." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/funzioni_computabili_elaborazione_dei_dati> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/logika_symboliczna_i_matematyczna> <http://schema.org/name> "Logika symboliczna i matematyczna." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/logika_symboliczna_i_matematyczna> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/logica_simbolica_y_matematica_programas_y_sistemas_de_programacion> <http://schema.org/name> "Lógica simbólica y matemática Programas y sistemas de programación." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/logica_simbolica_y_matematica_programas_y_sistemas_de_programacion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_sistema_informatico> <http://schema.org/name> "Cambridge LCF (Sistema informático)" .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_sistema_informatico> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/theoretische_informatica> <http://schema.org/name> "Theoretische informatica." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/theoretische_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/funcions_recursives> <http://schema.org/name> "Funcions recursives." .
<http://experiment.worldcat.org/entity/work/data/808010667#Topic/funcions_recursives> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .