Computer logic -- Congresses
Overview
Works: | 3 works in 3 publications in 3 languages |
---|
Titles
Automated reasoning:second international joint conference,IJCAR 2004,Cork
by:
(Language materials, printed)
Computer science logic: 18th international workshop,CSL 2004, 13th annual conference of the EACSL,Karpacz,Poland,...
by:
(Language materials, printed)