About: Handbook of Practical Logic and Automated Reasoning

Facets
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Handbook of Practical Logic and Automated Reasoning Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Author	Harrison, John (1966-....)
dc:subject	Logique mathématique Computer logic Logique informatique Théorèmes -- Démonstration automatique Inférence
preferred label	Handbook of Practical Logic and Automated Reasoning
Language	http://lexvo.org/id/iso639-3/eng
Subject	http://www.idref.fr/027819213/id http://www.idref.fr/027276309/id http://www.idref.fr/035073144/id http://www.idref.fr/027662799/id
dc:title	Handbook of Practical Logic and Automated Reasoning
note	A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied)
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	2009
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/261496042
is rdam:P30135 of	http://www.sudoc.fr/132499452/id http://www.sudoc.fr/26135423X/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2023 OpenLink Software