| |
# of records = 88
homepages/w/LarryWos journals/ijait/Wos06 conf/birthday/Wos05 journals/sLogica/BeesonVW05 journals/corr/cs-LO-0301026 journals/jar/Wos03 journals/corr/cs-AI-0205078 journals/corr/cs-LO-0211014 journals/corr/cs-LO-0211015 journals/jar/McCuneVFHFW02 journals/jar/ThieleW02 journals/jar/WosUF02 journals/ndjfl/ErnstFHW02 journals/jar/Wos01a journals/jar/FitelsonW01 journals/jar/Wos01 journals/sLogica/FitelsonW01 conf/tphol/WosF00 conf/tphol/Wos00 journals/jar/WosP99 journals/cacm/Wos98 journals/jar/Wos98 journals/jar/McCuneW97 journals/jar/Wos96 journals/jar/Wos96a journals/jar/Wos95 books/ox/LAI2Hb1994/WosV94 journals/jar/Wos93 journals/jar/Wos93a journals/jar/Wos93b journals/jar/Wos93c journals/jar/Wos93d journals/jar/Wos93e journals/jar/Wos93f conf/cade/Wos92 conf/cade/McCuneW92 conf/cade/LuskW92 conf/lpar/McCuneW92 journals/amai/WosM92 journals/jar/Wos92 journals/jar/Wos92a journals/jar/Wos92b journals/jar/Wos92c journals/jar/Wos92d journals/jar/Wos92e conf/birthday/Wos91 conf/birthday/WosOL91 journals/jar/Wos91 journals/jar/Wos91a journals/jar/Wos91b journals/jlp/WosM91 journals/tcs/McCuneW91 conf/cade/WosWMOLSB90 journals/jar/Wos90 journals/jar/Wos90a journals/jar/Wos90b journals/jar/Wos90c journals/jar/Wos90d journals/jar/Wos89 journals/jar/Wos89a journals/jar/Wos89b journals/jar/Wos89c conf/cade/WosM88 journals/jar/Wos88 journals/jar/Wos88a journals/jar/Wos88b journals/jar/Wos88c journals/jar/Wos87 journals/jar/McCuneW87 journals/jar/Wos87a journals/jar/Wos87b journals/jar/Wos87c conf/cade/WosM86 journals/jar/BoyerLMOSW86 journals/jar/Wos85 journals/jar/Wos85a conf/cade/WosVSM84 journals/ai/WosWSVH84 conf/ijcai/Wos83 conf/cade/Wos82 conf/cade/WinkerW82 conf/afips/WosWL81 conf/cade/WosOH80 journals/tc/McCharenOW76 journals/cacm/HenschenOW74 journals/jacm/HenschenW74 journals/jacm/WosRCS67 journals/jacm/WosRC65
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)