[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/iwar/1992>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Zhongshi_Shi>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Zhongshi_Shi>
dc:identifier DBLP conf/iwar/1992 (xsd:string)
dc:identifier ISBN 0-444-89876-X (xsd:string)
swrc:isbn ISBN 0-444-89876-X (xsd:string)
dcterms:issued 1992 (xsd:gYear)
rdfs:label Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/AkamaO92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Bai92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/BhattacharyaB92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Callatay92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/ChouG92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/FeiX92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Gao92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Harao92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/HasegawaKF92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/HenseS92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Li92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/LiNi92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/LiS92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/LiaoS92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Lin92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/LuY92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Luo92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/PeiLZ92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Sajda92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/SeseljaT92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/ShanN92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/ShenW92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/ShiL92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/SunL92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/Vagin92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/WangC92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/WangG92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/WangZ92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/WuW92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/XuemouDMTLY92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/ZhouN92>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/iwar/ZiliQYJ92>
dc:publisher North-Holland (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/iwar/1992/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/iwar/1992>
owl:sameAs <urn:isbn:0-444-89876-X>
rdfs:seeAlso <http://amazon.com/s/ref=nb_ss_gw?field-keywords=0-444-89876-X>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/iwar>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/iwar/iwar1992.html>
dc:title Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume A-19 (xsd:string)