Title of article
Dijkstra-Scholten predicate calculus: concepts and misconceptions
Author/Authors
Lex Bijlsma and Rob Nederpelt ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
30
From page
1007
To page
1036
Journal title
acta Informatica
Serial Year
1998
Journal title
acta Informatica
Record number
287656
Link To Document