An edition of Computer science logic (2009)

Computer science logic

23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

By CSL 2009 (2009 Coimbra, Portugal)

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2009

Publisher

Springer

Language

eng

Pages

565

Description:

subjects: Computer logic, Kongress, Congresses, Computational logic, Programmierlogik, Theoretische Informatik, Logische Programmierung, Logik, Logic, symbolic and mathematical

Places: Coimbra <2009>