Some work of Lithuanian mathematicians in the domain of mathematical logic and programming

DOI10.1007/BF00967177zbMath0472.01020MaRDI QIDQ1158137

S. H. Smith

Publication date: 1980

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

programming methodology; computer science education; university research

Mathematics Subject Classification ID

01A65: Development of contemporary mathematics

03-03: History of mathematical logic and foundations

01A73: History of mathematics at specific universities

68-03: History of computer science