Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... under justice hypothesis -- Al-Khowarizmi : A formal system for higher-order logic programming -- One...”