Handbook of Automated Reasoning
Resource URI: http://dblp.l3s.de/d2r/resource/collections/el/RV01
Home
|
Example Collections
Property
Value
rdfs:
label
Handbook of Automated Reasoning
(xsd:string)
owl:
sameAs
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RobinsonV01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Andrews01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/BaaderS01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/BaazEL01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/BaazFS01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/BachmairG01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/BarendregtG01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/BockmayrW01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Bundy01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/CalvaneseGLN01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/ChouG01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/ClarkeS01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Comon01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Davis01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/DegtyarevV01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/DegtyarevV01a
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/DershowitzP01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/DixFN01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Dowek01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/FermullerLHT01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Hahnle01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/LetzS01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/NieuwenhuisR01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/NonnengartW01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/OhlbachNRG01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Pfenning01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/RamakrishnanSV01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/RobinsonV01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Waaler01
>
is
swrc:
series
of
<
http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/Weidenbach01
>
dc:
title
Handbook of Automated Reasoning
(xsd:string)
rdf:
type
swrc:Collection
![[RDF data]](http://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)