Return to Browse Limit/Sort Search
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
Pfenning, Frank.
1
E-book
2007

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings


International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)



Rating:

 
Electronic Resources
  More...
2
E-book
2013

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,


FOSSACS (Conference) (16th : 2013 : Rome, Italy)



Rating:

 
Electronic Resources
  More...
3
E-book
1994

Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994 Proceedings


LPAR (Conference) (5th : 1994 : Kiev, Ukraine)



Rating:

 
Electronic Resources
4
Book
2006

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings


International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.)

Berlin : Springer, [2006]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.131 Ico/Rta 2006  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results
Return to Browse Limit/Sort Search