Conference
Finite fields and propositional proof systems
Authors
Soltys M
Editors
Callaos N; Chien BC; Dong J; Li W
Pagination
pp. 141-146
Publisher
INT INST INFORMATICS & SYSTEMICS
Publication Date
January 1, 2003
ISBN-10
980-6560-01-9
Name of conference
7th World Multiconference on Systemics, Cybernetics and Informatics
Conference place
ORLANDO, FL
Conference start date
July 27, 2003
Conference end date
July 30, 2003
Conference proceedings
7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS