Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /

Saved in:
Bibliographic Details
Author / Creator:Marcinkowski, Jerzy.
Imprint:Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 3210
Subject:Artificial intelligence
Computer science
Logic design
Format: E-Resource
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/7354464
Hidden Bibliographic Details
Other authors / contributors:Tarlecki, Andrzej.
SpringerLink (Online service)
ISBN:9783540230243