Jump to main content

yr 〜
yr

Search results 3

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)
Paper図書
Springer-Verlag1980.<M159-121>
National Diet Library
  • Subject HeadingComputer programming. Metamathematics. Teoria Da Computacao. Logica E Semantica De Programacao.

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet. (Lecture notes in computer science ; 83)

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet. (Lecture notes in computer science ; 83)
Paper図書
Springer-Verlag1980.<M159-122>
National Diet Library
  • Subject HeadingComputer programming -- Congresses. Programacao De Computadores. Logica E Semantica De Programacao.

Proceedings ... Edited by B. Robinet. (Lecture notes in computer science, 19)

Proceedings ... Edited by B. Robinet. (Lecture notes in computer science, 19)
Paper図書
Springer1974.<M159-40>
National Diet Library
  • Subject HeadingProgramming (Electronic computers) -- Congresses. Logica E Semantica De Programacao.

Reached to the end of result.

RSS