Logic and computation : interactive proof with Cambridge LCF

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/808010667#Topic/programowanie_logiczne
http://id.loc.gov/authorities/subjects/sh87004012
http://experiment.worldcat.org/entity/work/data/808010667#Topic/elaboratori_elettronici_programmazione_sistema_cambridge_lcf
http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_demonstration_de_theoreme
http://experiment.worldcat.org/entity/work/data/808010667#Topic/reecriture
http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonctions_calculables_informatique
http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbarkeit
http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_sistema_informatico
http://experiment.worldcat.org/entity/work/data/808010667#Topic/logica_simbolica_y_matematica_programas_y_sistemas_de_programacion
http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf
http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_systeme_informatique
http://experiment.worldcat.org/entity/work/data/808010667#Topic/funzioni_computabili_elaborazione_dei_dati
http://experiment.worldcat.org/entity/work/data/808010667#Topic/funciones_calculables_informatica
http://experiment.worldcat.org/entity/work/data/808010667#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/808010667#Topic/logika_symboliczna_i_matematyczna
http://experiment.worldcat.org/entity/work/data/808010667#Topic/theoretische_informatica
http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_logiciel_fonctions_calculables
http://id.loc.gov/authorities/subjects/sh85029470
http://experiment.worldcat.org/entity/work/data/808010667#Topic/cambridge_lcf_computer_system
http://experiment.worldcat.org/entity/work/data/808010667#Topic/fonction_calculable
http://id.worldcat.org/fast/844674
http://experiment.worldcat.org/entity/work/data/808010667#Topic/informatique
http://experiment.worldcat.org/entity/work/data/808010667#Topic/calculabilite_cambridge_lcf_logiciel
http://id.worldcat.org/fast/871987
http://experiment.worldcat.org/entity/work/data/808010667#Topic/funcions_recursives
http://experiment.worldcat.org/entity/work/data/808010667#Topic/lcf
http://experiment.worldcat.org/entity/work/data/808010667#Topic/logique_1er_ordre
http://experiment.worldcat.org/entity/work/data/808010667#Topic/ml_llenguatge_de_programacio
http://experiment.worldcat.org/entity/work/data/808010667#Topic/preuve_interactive
http://experiment.worldcat.org/entity/work/data/808010667#Topic/traitement_des_donnees
http://experiment.worldcat.org/entity/work/data/808010667#Topic/computable_functions_data_processing
http://experiment.worldcat.org/entity/work/data/808010667#Topic/berechenbare_funktion

http://schema.org/author

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

http://schema.org/contributor

http://worldcat.org/entity/person/id/2636814658
http://viaf.org/viaf/127979069
http://viaf.org/viaf/153568718
http://id.loc.gov/authorities/names/n50059133
http://id.loc.gov/authorities/names/n79018862

http://schema.org/creator

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

http://schema.org/name

"Logic and Computation : Interactive Proof with Cambridge LCF"
"Logic and computation : interactive proof with Cambridge LCF"
"Logic and computation : interactive proof with Cambridge LCF"@en
"Logic and Computation Interactive Proof with Cambridge LCF"

http://schema.org/workExample

http://www.worldcat.org/oclc/856665651
http://www.worldcat.org/oclc/909682512
http://www.worldcat.org/oclc/40239066
http://www.worldcat.org/oclc/16227523
http://www.worldcat.org/oclc/498602040
http://www.worldcat.org/oclc/832352999
http://www.worldcat.org/oclc/299409202
http://www.worldcat.org/oclc/246548450
http://www.worldcat.org/oclc/902071992
http://www.worldcat.org/oclc/889139953
http://www.worldcat.org/oclc/639667161
http://www.worldcat.org/oclc/249143636
http://www.worldcat.org/oclc/797196197
http://www.worldcat.org/oclc/751107234
http://www.worldcat.org/oclc/668199303
http://www.worldcat.org/oclc/645078472
http://www.worldcat.org/oclc/802558784
http://www.worldcat.org/oclc/715320341
http://www.worldcat.org/oclc/472123280
http://www.worldcat.org/oclc/813436138

Berechenbare Funktion.

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
"Berechenbare Funktion."