Search

Your search returned 245 results.

Results
		No cover image available Logics of programs : workshop, ETH Zurich, May-July, 1979 / edited by Erwin Engeler by \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1981Availability: Items available for loan: 1 Call number: 681.3.06 Log:79. Place hold Add to cart (remove)
		No cover image available Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen by \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1982Availability: Items available for loan: 1 Call number: 681.3.06 Log:81. Place hold Add to cart (remove)
		No cover image available Meta-programming in logic : third international workshop, META-92 : proceedings, Uppsala, Sweden, June 10-12, 1992 / edited by A. Pettorossi by \| . Series: Lecture notes in computer science ; v.649Edition: Language: English Publication details: ; Berlin : Springer-verlag, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3:517.1 Met:3:92. Place hold Add to cart (remove)
		No cover image available Specifying message passing and time-critical systems with temporal logic by Koymans, Ron \| . Series: Lecture notes in computer science ; v.651Edition: Language: English Publication details: ; Berlin : Springer-verlag, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.327.8:681.3.06 Koy. Place hold Add to cart (remove)
		No cover image available Logics of programs and their applications : proceedings, Poznan, Aug. 23-29, 1980 / edited by A. Salwicki by \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1983Availability: Items available for loan: 1 Call number: 681.3.06 Log:80. Place hold Add to cart (remove)
		No cover image available Logic programming : operational semantics and proof theory by Andrews, James H \| . Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06 And. Place hold Add to cart (remove)
		No cover image available Deduction and declarative programming by Padawitz, Peter \| . Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Pad. Place hold Add to cart (remove)
		No cover image available Logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution by Carpenter, Bob \| . Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Car. Place hold Add to cart (remove)
		No cover image available From logic design to logic programming : theorem proving techniques and P-functions by Snyers, Dominique \| Thayse, Andre \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1987Availability: Items available for loan: 1 Call number: 519.28:681.3.06 Sny. Place hold Add to cart (remove)

1
2
3
4
5
6
7
8
9
10
Next
Last

Powered by Koha