MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

by Nielsen, Mogens
Published 1998

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”