1
Published 1992
“...Workshop on Computer Science Logic (...”
Book
2
Published 1990
“...Workshop On Computer Science Logic ( Kaiserslautern, Germany)....”
Book
3
Published 2001
“...Workshop on Computer Science Logic (...”
Book