Proof Theory and Logic Programming View on Open Library

Proof Theory and Logic Programming

by Dale Miller

No reviews yet
First published: 2025 1 language ISBN: 9781009561297

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Dale Miller

Programming with higher-order logic

Programming with higher-order logic

Logic Programming

Logic Programming

Retail marketing

Retail marketing

Cultural Divides

Cultural Divides

Retailing for the 21st Century

Retailing for the 21st Century

ICU Book

ICU Book