Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-5 of 5)
Kleine Büning, H. (Hans)
1 1996 Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany) Rating: Electronic Resources
2 1988 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany) Rating: Electronic Resources
3 1989 CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings Rating: Electronic Resources
4 1990 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings Berlin : Springer-Verlag, ©1990 Rating: Electronic Resources
5 2008 Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings SAT 2008 (2008 : Guangzhou, China) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers