moscow.loc.city

LF Logical Framework - Musharof Chy

Showing 1 - 1 of 1 business

Logic Programming in the LF Logical Framework (1991)

Musharof Chy

Musharof Chy

2579 views
Created 11 months ago

Article by Frank Pfennig describing a logic programming language which serves as a proof search eng...

304 views
Jan 25, 2025