Internformat: Conditional and preferential logics :

Conditional and preferential logics :: proof methods and theorem proving /

Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implemen...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pozzato, Gian Luca
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Amsterdam ; Washington, DC : IOS Press, ©2010.
Schriftenreihe:	Frontiers in artificial intelligence and applications ; v. 208. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Schlagworte:	Logic, Symbolic and mathematical. Proof theory. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Proof theory
Online-Zugang:	Volltext
Zusammenfassung:	Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.
Beschreibung:	1 online resource (viii, 200 pages)
Bibliographie:	Includes bibliographical references (pages 193-200).
ISBN:	9781607500957 1607500957 1607500949 9781607500940 6612600764 1282600761 9781282600768 9786612600760

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn619195294
003	OCoLC
005	20241004212047.0
006	m o d
007	cr cnu---unuuu
008	100518s2010 ne ob 000 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d IOSPR \|d EBLCP \|d YDXCP \|d IDEBK \|d E7B \|d CDX \|d MHW \|d OCLCQ \|d DEBSZ \|d OCLCQ \|d NLGGC \|d OCLCQ \|d OCLCF \|d OCLCQ \|d S3O \|d OCLCQ \|d LOA \|d JBG \|d AGLDB \|d MOR \|d PIFAG \|d ZCU \|d OTZ \|d MERUC \|d OCLCQ \|d U3W \|d STF \|d WRM \|d OCLCQ \|d VTS \|d ICG \|d INT \|d NRAMU \|d VT2 \|d OCLCQ \|d DKC \|d AU@ \|d OCLCQ \|d M8D \|d OCLCQ \|d AJS \|d OCLCO \|d OCLCQ \|d QGK \|d OCLCQ \|d OCLCO \|d OCLCL \|d OCLCQ
019			\|a 591163397 \|a 647899394 \|a 702844074 \|a 956750868 \|a 960281414 \|a 961621739 \|a 962624959 \|a 966232693 \|a 988503702 \|a 991996070 \|a 994975003 \|a 1037911470 \|a 1038674632 \|a 1045526082 \|a 1259220024
020			\|a 9781607500957 \|q (electronic bk.)
020			\|a 1607500957 \|q (electronic bk.)
020			\|a 1607500949
020			\|a 9781607500940
020			\|z 9781607500940
020			\|a 6612600764
020			\|a 1282600761
020			\|a 9781282600768
020			\|a 9786612600760
024	8		\|a 9786612600760
035			\|a (OCoLC)619195294 \|z (OCoLC)591163397 \|z (OCoLC)647899394 \|z (OCoLC)702844074 \|z (OCoLC)956750868 \|z (OCoLC)960281414 \|z (OCoLC)961621739 \|z (OCoLC)962624959 \|z (OCoLC)966232693 \|z (OCoLC)988503702 \|z (OCoLC)991996070 \|z (OCoLC)994975003 \|z (OCoLC)1037911470 \|z (OCoLC)1038674632 \|z (OCoLC)1045526082 \|z (OCoLC)1259220024
037			\|a 978-1-60750-095-7 \|b IOS Press \|n http://www.iospress.nl
050		4	\|a QA9 \|b .P699 2010eb
072		7	\|a COM \|x COM004000 \|2 bisacsh
082	7		\|a 511.3 \|2 22
049			\|a MAIN
100	1		\|a Pozzato, Gian Luca.
245	1	0	\|a Conditional and preferential logics : \|b proof methods and theorem proving / \|c Gian Luca Pozzato.
260			\|a Amsterdam ; \|a Washington, DC : \|b IOS Press, \|c ©2010.
300			\|a 1 online resource (viii, 200 pages)
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
490	1		\|a Frontiers in artificial intelligence and applications ; \|v v. 208
504			\|a Includes bibliographical references (pages 193-200).
505	0		\|a Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work.
520			\|a Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.
588	0		\|a Print version record.
546			\|a English.
650		0	\|a Logic, Symbolic and mathematical. \|0 http://id.loc.gov/authorities/subjects/sh85078115
650		0	\|a Proof theory. \|0 http://id.loc.gov/authorities/subjects/sh85107437
650		6	\|a Logique symbolique et mathématique.
650		6	\|a Théorie de la preuve.
650		7	\|a MATHEMATICS \|x Infinity. \|2 bisacsh
650		7	\|a MATHEMATICS \|x Logic. \|2 bisacsh
650		7	\|a Logic, Symbolic and mathematical \|2 fast
650		7	\|a Proof theory \|2 fast
776	0	8	\|i Print version: \|t Conditional and Preferential Logics. \|d Ios Pr Inc 2010 \|z 9781607500940 \|w (OCoLC)567148824
830		0	\|a Frontiers in artificial intelligence and applications ; \|v v. 208. \|0 http://id.loc.gov/authorities/names/n92019289
830		0	\|a Frontiers in artificial intelligence and applications. \|p Dissertations in artificial intelligence. \|0 http://id.loc.gov/authorities/names/no2003047925
856	4	0	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315805 \|3 Volltext
938			\|a Coutts Information Services \|b COUT \|n 13613569 \|c 99.00 EUR
938			\|a ProQuest Ebook Central \|b EBLB \|n EBL501459
938			\|a ebrary \|b EBRY \|n ebr10375715
938			\|a EBSCOhost \|b EBSC \|n 315805
938			\|a YBP Library Services \|b YANK \|n 3206123
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn619195294
_version_	1816881720635424768
adam_text
any_adam_object
author	Pozzato, Gian Luca
author_facet	Pozzato, Gian Luca
author_role
author_sort	Pozzato, Gian Luca
author_variant	g l p gl glp
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9 .P699 2010eb
callnumber-search	QA9 .P699 2010eb
callnumber-sort	QA 19 P699 42010EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work.
ctrlnum	(OCoLC)619195294
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04000cam a2200685 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn619195294</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">100518s2010 ne ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">EBLCP</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">CDX</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">S3O</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OTZ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">591163397</subfield><subfield code="a">647899394</subfield><subfield code="a">702844074</subfield><subfield code="a">956750868</subfield><subfield code="a">960281414</subfield><subfield code="a">961621739</subfield><subfield code="a">962624959</subfield><subfield code="a">966232693</subfield><subfield code="a">988503702</subfield><subfield code="a">991996070</subfield><subfield code="a">994975003</subfield><subfield code="a">1037911470</subfield><subfield code="a">1038674632</subfield><subfield code="a">1045526082</subfield><subfield code="a">1259220024</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607500957</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607500957</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607500949</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607500940</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607500940</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6612600764</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282600761</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282600768</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612600760</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786612600760</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)619195294</subfield><subfield code="z">(OCoLC)591163397</subfield><subfield code="z">(OCoLC)647899394</subfield><subfield code="z">(OCoLC)702844074</subfield><subfield code="z">(OCoLC)956750868</subfield><subfield code="z">(OCoLC)960281414</subfield><subfield code="z">(OCoLC)961621739</subfield><subfield code="z">(OCoLC)962624959</subfield><subfield code="z">(OCoLC)966232693</subfield><subfield code="z">(OCoLC)988503702</subfield><subfield code="z">(OCoLC)991996070</subfield><subfield code="z">(OCoLC)994975003</subfield><subfield code="z">(OCoLC)1037911470</subfield><subfield code="z">(OCoLC)1038674632</subfield><subfield code="z">(OCoLC)1045526082</subfield><subfield code="z">(OCoLC)1259220024</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-60750-095-7</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.P699 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pozzato, Gian Luca.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conditional and preferential logics :</subfield><subfield code="b">proof methods and theorem proving /</subfield><subfield code="c">Gian Luca Pozzato.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 200 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 208</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 193-200).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Conditional and Preferential Logics.</subfield><subfield code="d">Ios Pr Inc 2010</subfield><subfield code="z">9781607500940</subfield><subfield code="w">(OCoLC)567148824</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 208.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications.</subfield><subfield code="p">Dissertations in artificial intelligence.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2003047925</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315805</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">13613569</subfield><subfield code="c">99.00 EUR</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL501459</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10375715</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">315805</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3206123</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocn619195294
illustrated	Not Illustrated
indexdate	2024-11-27T13:17:12Z
institution	BVB
isbn	9781607500957 1607500957 1607500949 9781607500940 6612600764 1282600761 9781282600768 9786612600760
language	English
oclc_num	619195294
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (viii, 200 pages)
psigel	ZDB-4-EBA
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	IOS Press,
record_format	marc
series	Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
series2	Frontiers in artificial intelligence and applications ;
spelling	Pozzato, Gian Luca. Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato. Amsterdam ; Washington, DC : IOS Press, ©2010. 1 online resource (viii, 200 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Frontiers in artificial intelligence and applications ; v. 208 Includes bibliographical references (pages 193-200). Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work. Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. Print version record. English. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Proof theory fast Print version: Conditional and Preferential Logics. Ios Pr Inc 2010 9781607500940 (OCoLC)567148824 Frontiers in artificial intelligence and applications ; v. 208. http://id.loc.gov/authorities/names/n92019289 Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. http://id.loc.gov/authorities/names/no2003047925 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315805 Volltext
spellingShingle	Pozzato, Gian Luca Conditional and preferential logics : proof methods and theorem proving / Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Proof theory fast
subject_GND	http://id.loc.gov/authorities/subjects/sh85078115 http://id.loc.gov/authorities/subjects/sh85107437
title	Conditional and preferential logics : proof methods and theorem proving /
title_auth	Conditional and preferential logics : proof methods and theorem proving /
title_exact_search	Conditional and preferential logics : proof methods and theorem proving /
title_full	Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.
title_fullStr	Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.
title_full_unstemmed	Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.
title_short	Conditional and preferential logics :
title_sort	conditional and preferential logics proof methods and theorem proving
title_sub	proof methods and theorem proving /
topic	Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Proof theory fast
topic_facet	Logic, Symbolic and mathematical. Proof theory. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Proof theory
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315805
work_keys_str_mv	AT pozzatogianluca conditionalandpreferentiallogicsproofmethodsandtheoremproving

Verfügbarkeit

MARC

Datensatz im Suchindex

Ähnliche Einträge