[IEEE 31st IEEE International Symposium on Multiple-Valued Logic - Warsaw, Poland (22-24 May 2001)] Proceedings 31st IEEE International Symposium on Multiple-Valued Logic - Automated reasoning with ordinary assertions and default assumptions
Van Heule, D., Hoogewijs, A.Year:
2001
Language:
english
DOI:
10.1109/ismvl.2001.924572
File:
PDF, 384 KB
english, 2001