Verwandte Artikel zu Logic Programming: Operational Semantics and Proof...

Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, 4, Band 4) - Softcover

Andrews, James H.

 
9780521607544: Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, 4, Band 4)

Inhaltsangabe

A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.