12th Annual IEEE Symposium on Logic in Computer Science
12th Annual IEEE Symposium on Logic in Computer Science proceedings: June 29-July 2, 1997, Warsaw Poland
organized by Warsaw University; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE Computer Society; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
ISBN: 0818679263
Edition: (case)
12th Annual IEEE Symposium on Logic in Computer Science
12th Annual IEEE Symposium on Logic in Computer Science proceedings: June 29-July 2, 1997, Warsaw Poland
organized by Warsaw University; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE Computer Society; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
ISBN: 0818679271
Edition: (microfiche)
12th Annual IEEE Symposium on Logic in Computer Science
12th Annual IEEE Symposium on Logic in Computer Science proceedings: June 29-July 2, 1997, Warsaw Poland
organized by Warsaw University; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE Computer Society; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
ISBN: 0818679255
Edition: (pbk.)
14th Symposium on Logic in Computer Science
14th Symposium on Logic in Computer Science: July 2-5, 1999, Trento, Italy: proceedings
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, c1999.
ISBN: 0780357701
Edition: (casebound)
14th Symposium on Logic in Computer Science
14th Symposium on Logic in Computer Science: July 2-5, 1999, Trento, Italy: proceedings
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, c1999.
ISBN: 0769501583
Edition: (softbound)
14th Symposium on Logic in Computer Science
14th Symposium on Logic in Computer Science: proceedings: July 2-5, 1999, Trento, Italy
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, c1999.
ISBN: 0769501605
Edition: (microfiche)
Algebra and coalgebra in computer science
Algebra and coalgebra in computer science: first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005: proceedings
Jose Luiz Fiadeiro... [et al.] (eds.)
Publisher: Berlin ; Springer, c2005.
ISBN: 3540286209
LCC: QA76.9
Edition: (pbk.)
Categories in computer science and logic
Categories in computer science and logic: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation John W. Gray and Andre Scedrov, editors
Publisher: Providence, R.I : American Mathematical Society, 1989.
ISBN: 0821851004
LCC: M35
COLOG-88
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988: proceedings
P. Martin-Lof, G. Mints, (eds.)
Publisher: Berlin ; Springer-Verlag, c1990.
ISBN: 3540523359
DDC: 4.015113
LCC: QA76.9
Edition: (Berlin)
COLOG-88
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988: proceedings
P. Martin-Lof, G. Mints, (eds.)
Publisher: Berlin ; Springer-Verlag, c1990.
ISBN: 0387523359
DDC: 4.015113
LCC: QA76.9
Edition: (New York)
Constructivity in computer science
Constructivity in computer science: summer symposium, San Antonio, TX, June 19-22, 1991, proceedings J. P. Myers, Jr., M. J. O'Donnell, (eds.)
Publisher: Berlin ; Springer-Verlag, c1992.
ISBN: 0387556311
DDC: 5.131
LCC: QA76.9
Edition: (New York : acid-free paper)
Constructivity in computer science
Constructivity in computer science: summer symposium, San Antonio, TX, June 19-22, 1991, proceedings J. P. Myers, Jr., M. J. O'Donnell, (eds.)
Publisher: Berlin ; Springer-Verlag, c1992.
ISBN: 3540556311
DDC: 5.131
LCC: QA76.9
Edition: (Berlin : acid-free paper)
Contemporary trends in discrete mathematics
Contemporary trends in discrete mathematics: from DIMACS and DIMATIA to the future: DIMATIA-DIMACS conference, May 19-25, 1997, Štiřín Castle, Czech Republic Ronald L. Graham, editors... [et al.]
Publisher: Providence, R.I. : American Mathematical Society, c1999.
ISBN: 0821809636
DDC: 511.5
LCC: QA166
Edition: (alk. paper)
