Matches in DBpedia 2016-04 for { <https://www.worldcat.org/ISSN/0921-7126> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 0921-7126 authorlink2 "Andrei Voronkov".
- 0921-7126 first1 "A.".
- 0921-7126 first2 "A.".
- 0921-7126 isCitedBy Vampire_(theorem_prover).
- 0921-7126 issn "0921-7126".
- 0921-7126 journal "AI Communications".
- 0921-7126 last1 "Riazanov".
- 0921-7126 last2 "Voronkov".
- 0921-7126 number "2002-03-02".
- 0921-7126 pages "91-110".
- 0921-7126 title "The design and implementation of VAMPIRE".
- 0921-7126 volume "15".
- 0921-7126 year "2002".