Index of /~aca/ACA/1995/Proceedings/theoremProving

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Wu_abstract.ps1995-08-01 13:50 36K 
[   ]Wang_keywords1995-07-03 00:11 141  
[   ]Wang_paper.ps1995-07-01 14:57 60K 
[   ]Kalkbrener_paper.dvi1995-06-30 23:34 58K 
[TXT]Kalkbrener_paper.tex1995-06-30 23:33 37K 
[   ]Kapur_title.dvi1995-05-03 13:51 512  
[TXT]Kapur_title.tex1995-05-03 13:51 258  
[   ]Wu_abstract.dvi1995-04-18 11:41 3.9K 
[TXT]Wu_abstract.tex1995-04-18 11:41 2.9K 
[   ]Wang_abstract.dvi1995-04-17 20:54 3.7K 
[   ]Kalkbrener_abstract.dvi1995-04-17 20:53 2.2K 
[   ]Ferro_abstract.dvi1995-04-17 20:52 4.9K 
[TXT]Wang_abstract.tex1995-04-17 11:48 2.7K 
[TXT]Kalkbrener_abstract.tex1995-04-17 11:48 1.4K 
[TXT]Ferro_abstract.tex1995-04-17 11:47 4.0K 
[   ]Homann_abstract.ps1995-04-17 11:47 75K