Handbook of practical logic and automated reasoning

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

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/142565487#Topic/wiskundige_logica
http://experiment.worldcat.org/entity/work/data/142565487#Topic/programmation_logique
http://id.worldcat.org/fast/822777
http://id.worldcat.org/fast/872265
http://experiment.worldcat.org/entity/work/data/142565487#Topic/kunstliche_intelligenz_schlussfolgern
http://experiment.worldcat.org/entity/work/data/142565487#Topic/ocaml_langage_de_programmation
http://experiment.worldcat.org/entity/work/data/142565487#Topic/inference
http://id.loc.gov/authorities/subjects/sh86003454
http://experiment.worldcat.org/entity/work/data/142565487#Topic/logique_informatique
http://experiment.worldcat.org/entity/work/data/142565487#Topic/computer_logic
http://id.worldcat.org/fast/1742259
http://experiment.worldcat.org/entity/work/data/142565487#Topic/informatik
http://experiment.worldcat.org/entity/work/data/142565487#Topic/szamitogepes_logika
http://experiment.worldcat.org/entity/work/data/142565487#Topic/schlussfolgern_kunstliche_intelligenz
http://experiment.worldcat.org/entity/work/data/142565487#Topic/mathematische_logik_theoretische_informatik
http://experiment.worldcat.org/entity/work/data/142565487#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/142565487#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/142565487#Topic/logische_programmierung
http://experiment.worldcat.org/entity/work/data/142565487#Topic/logika_informatyczna
http://experiment.worldcat.org/entity/work/data/142565487#Topic/matematikai_logika_szamitastudomany
http://experiment.worldcat.org/entity/work/data/142565487#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/142565487#Topic/computers_expert_systems
http://experiment.worldcat.org/entity/work/data/142565487#Topic/decision_support_systems
http://id.worldcat.org/fast/1002056
http://experiment.worldcat.org/entity/work/data/142565487#Topic/theoremes_demonstration_automatique
http://id.loc.gov/authorities/subjects/sh85010111
http://experiment.worldcat.org/entity/work/data/142565487#Topic/theoretische_informatik_mathematische_logik
http://experiment.worldcat.org/entity/work/data/142565487#Topic/automatic_theorem_proving
http://experiment.worldcat.org/entity/work/data/142565487#Topic/computer_programming
http://id.loc.gov/authorities/subjects/sh2007000473
http://id.loc.gov/authorities/subjects/sh97004631

http://schema.org/alternateName

"Practical logic and automated reasoning"@en
"Practical logic and automated reasoning"

http://schema.org/author

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

http://schema.org/contributor

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

http://schema.org/creator

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

http://schema.org/description

"One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied."@en
"One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied."

http://schema.org/name

"Handbook of practical logic and automated reasoning"
"Handbook of practical logic and automated reasoning"@en
"Handbook of Practical Logic and Automated Reasoning"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/437110103
http://www.worldcat.org/oclc/436832684
http://www.worldcat.org/oclc/804218249
http://www.worldcat.org/oclc/751113155
http://www.worldcat.org/oclc/909675662
http://www.worldcat.org/oclc/910405790
http://www.worldcat.org/oclc/734055415
http://www.worldcat.org/oclc/823685681
http://www.worldcat.org/oclc/601058137
http://www.worldcat.org/oclc/771984627
http://www.worldcat.org/oclc/759724721
http://www.worldcat.org/oclc/875713999
http://www.worldcat.org/oclc/907340208
http://www.worldcat.org/oclc/244767230
http://www.worldcat.org/oclc/408024373
http://www.worldcat.org/oclc/495009073
http://www.worldcat.org/oclc/548642070
http://www.worldcat.org/oclc/767939900

Automatic theorem proving.

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
"Automatic theorem proving."