Proceeding on logic of programs
Engeler Erwin Ed.
Proceeding on logic of programs Engeler Erwin Ed. - Berlin Springer-Verlag 1981 - 245p. cm. - Lecture notes in computer science; 125 .
32460
Textual
Logic
D65,8(B)92p1,N79, M1
Proceeding on logic of programs Engeler Erwin Ed. - Berlin Springer-Verlag 1981 - 245p. cm. - Lecture notes in computer science; 125 .
32460
Textual
Logic
D65,8(B)92p1,N79, M1
