Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase John Alan Robinson (changed automatically) (no additional terms from query expansion) in all metadata.

Publication years (Num. hits)
1963-1995 (15) 1997-2001 (9)
Publication types (Num. hits)
article(9) book(1) incollection(1) inproceedings(13)
Venues (Conferences, Journals, ...)
J. ACM(2) J. Log. Program.(2) Artif. Intell. Rev.(1) Automated Reasoning: Essays in...(1) Commun. ACM(1) Computational Logic(1) DS-2(1) FGCS(1) Handbook of Automated Reasonin...(1) IFIP Congress(1) IFIP Congress (1)(1) Intellectics and Computational...(1) ISMB(1) J. Symb. Log.(1) JFPLC(1) Kurt Gödel Colloquium(1) More (+10 of total 21)
Authors
John Alan Robinson(24) Andrei Voronkov(2) Gregor Erbach(1) Jonas Barklund(1) Norman M. Martin(1) Tomas P. Flores(1) Werner Saurer(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results