| |
# of records = 55
homepages/m/WilliamMcCune conf/aisc/McCune06 conf/tphol/BeesonM06 journals/corr/cs-LO-0402010 journals/corr/cs-LO-0312012 journals/corr/cs-SC-0310055 journals/corr/cs-SC-0310056 conf/spin/MatlinLM02 journals/corr/cs-LO-0203009 journals/jar/McCuneVFHFW02 journals/corr/cs-LO-0106042 conf/cade/McCuneS00 journals/ipl/McCune98 conf/cade/1997 conf/rta/McCune97 conf/sac/ShumskyWME97 journals/jar/McCuneW97 journals/jar/McCune97 books/sp/McCuneP96 conf/cade/SlaneyLM94 conf/cade/BonacinaM94 journals/jar/McCune93 journals/jar/LuskM93 journals/ndjfl/McCune93 conf/cade/McCuneW92 conf/cade/LuskMS92 conf/lpar/McCuneW92 journals/amai/WosM92 journals/jar/McCune92 journals/jar/McCune92a journals/jlp/WosM91 journals/tcs/McCuneW91 conf/aaai/McCune90 conf/cade/WosWMOLSB90 conf/cade/McCune90 conf/cade/LuskM90 conf/dagstuhl/LuskM90 conf/dagstuhl/LuskMS90 journals/jacm/McCuneH89 journals/jar/WickM89 conf/cade/McCune88 conf/cade/WosM88 journals/ipl/McCune88 journals/jar/McCuneW87 conf/cade/WosM86 conf/cade/ButlerLMO86 conf/cade/LuskMO86 conf/iclp/ButlerLMO86 journals/jar/BoyerLMOSW86 journals/jar/McCuneH85 conf/cade/WosVSM84 conf/ijcai/McCuneH83 conf/adbt/HenschenMN82 conf/cade/LuskMO82 conf/cade/LuskMO82a
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)