【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

European Association for Computer Science Logic. Meeting

ID:DA16361201

Search authors sharing the same name

Search Results1-2 of 2

1

Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Matthias Baaz, Johann A. Makowsky (eds.)

Springer c2003 Lecture notes in computer science 2803

Available at 31 libraries
2

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Jörg Flum, Mario Rodríguez-Artalejo (eds.)

Springer c1999 Lecture notes in computer science 1683

Available at 41 libraries

Search this author

Related Authors