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