Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/2242825943

Logic for programming artificial intelligence and reasoning

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/2242825943#Topic/programmierlogik
http://experiment.worldcat.org/entity/work/data/2242825943#Topic/automatisches_beweisverfahren
http://experiment.worldcat.org/entity/work/data/2242825943#Topic/logische_programmierung
http://experiment.worldcat.org/entity/work/data/2242825943#Place/tiflis_&lt_2002&gt

http://schema.org/alternateName

"LPAR 2002"

http://schema.org/author

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

http://schema.org/contributor

http://worldcat.org/entity/person/id/2633499512
http://experiment.worldcat.org/entity/work/data/2242825943#Thing/christian_g_fermuller
http://worldcat.org/entity/person/id/2642298925
http://experiment.worldcat.org/entity/work/data/2242825943#Organization/lpar_&lt_9_2002_t_bilisi&gt
http://viaf.org/viaf/147530378
http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_9_2002_10_14_18_tbilisi
http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning_tbilisi_2002
http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning
http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/lpar_2002_9_tbilisi
http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/lpar_2002_9_2002_10_14_18_tbilisi
http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_9_tbilisi

http://schema.org/editor

http://worldcat.org/entity/person/id/2642298925
http://worldcat.org/entity/person/id/2633499512
http://worldcat.org/entity/person/id/2634431333

http://schema.org/genre

"Electronic books"
"Electronic books"@en
"Kongress"

http://schema.org/name

"Logic for programming artificial intelligence and reasoning"@en
"Logic for programming, artificial intelligence, and reasoning proceedings"
"Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings"
"Logic for programming, artificial intelligence, and reasoning : proceedings"
"Logic for Programming, Artificial Intelligence, and Reasoning"
"Logic for Programming, Artificial Intelligence, and Reasoning"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/845579954
http://www.worldcat.org/oclc/890320836
http://www.worldcat.org/oclc/849892030
http://www.worldcat.org/oclc/824110333
http://www.worldcat.org/oclc/51694583
http://www.worldcat.org/oclc/817075535
http://www.worldcat.org/oclc/846578710

International Conference on Logic for Programming and Automated Reasoning.

This is a placeholder reference for a Meeting 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/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Logic for Programming and Automated Reasoning."

http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning

International Conference on Logic for Programming and Automated Reasoning (Tbilisi) (2002)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Logic for Programming and Automated Reasoning (Tbilisi) (2002)"

http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning_tbilisi_2002

International Conference on Logic for programming, artificial intelligence, and reasoning ( 9 2002.10.14-18 Tbilisi)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Logic for programming, artificial intelligence, and reasoning ( 9 2002.10.14-18 Tbilisi)"

http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_9_2002_10_14_18_tbilisi

International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (9 : Tbilisi)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (9 : Tbilisi)"

http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_9_tbilisi

LPAR 2002 (9 2002.10.14-18 Tbilisi)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"LPAR 2002 (9 2002.10.14-18 Tbilisi)"

http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/lpar_2002_9_2002_10_14_18_tbilisi

LPAR 2002 (9 : Tbilisi)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"LPAR 2002 (9 : Tbilisi)"

http://experiment.worldcat.org/entity/work/data/2242825943#Meeting/lpar_2002_9_tbilisi

LPAR <9, 2002, T'bilisi>

This is a placeholder reference for a Organization 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/Organization
schema:name
"LPAR <9, 2002, T'bilisi>"

http://experiment.worldcat.org/entity/work/data/2242825943#Organization/lpar_&lt_9_2002_t_bilisi&gt

Tiflis <2002>

This is a placeholder reference for a Place 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/Place
schema:name
"Tiflis <2002>"

http://experiment.worldcat.org/entity/work/data/2242825943#Place/tiflis_&lt_2002&gt

Christian G. Fermüller

This is a placeholder reference for a Thing 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/Thing
schema:name
"Christian G. Fermüller"

http://experiment.worldcat.org/entity/work/data/2242825943#Thing/christian_g_fermuller

Automatisches Beweisverfahren.

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
"Automatisches Beweisverfahren."

http://experiment.worldcat.org/entity/work/data/2242825943#Topic/automatisches_beweisverfahren

Logische Programmierung.

rdf:type
http://schema.org/Topic
schema:name
"Logische Programmierung."

http://experiment.worldcat.org/entity/work/data/2242825943#Topic/logische_programmierung

Programmierlogik.

rdf:type
http://schema.org/Topic
schema:name
"Programmierlogik."