Your search returned 5 results.

Sort
Results
Logic programming : 22nd international conference proceedings, ICLP, Seattle, WA, USA, Aug. 17-20, 2006

by | Etalle, Sandro | Etalle, Sandro.

Series: Lecture notes in computer science ; v.4079Edition: Language: English Publication details: Berlin ; Springer ; 2006Availability: Items available for loan: 1 Call number: 681.3.06Log:22:06.

Logic based program synthesis and transformation : 14th international symposium, LOPSTR, Verona Italy, Aug. 26-28, 2004

by | Etalle, Sandro | Etalle, Sandro.

Series: Lecture notes in computer science ; v.3573Edition: Language: English Publication details: Berlin ; Springer ; 2007Availability: Items available for loan: 1 Call number: 681.3.06Log:14:04.

Formal aspects of security and trust : 7th international workshop, FAST, Pisa, Italy, Sept. 16-17, 2010 (e-book)

by Degano, Pierpaolo [Editor] | Etalle, Sandro [Editor] | Guttman, Joshua [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6561 | LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Logic based program synthesis and transformation (e-book)

by Etalle, Sandro.

Series: Lecture Notes in Computer Science (LNCS) ; v.3573Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2005Online access: Click here to access online Availability: Items available for reference: Online (1) .

Logic programming (e-book)

by Etalle, Sandro.

Series: Lecture Notes in Computer Science (LNCS) ; v.4079Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2006Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha