Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003

Authors:
Nimish Shah
Affiliations:
Nimish_Shah@onetel.com
Venue:
Journal of Functional Programming
Year:
2004

Citing 6
Cited 0

Program construction and verification

Program construction and verification
Predicate calculus and program semantics

Predicate calculus and program semantics
Programming: the derivation of algorithms

Programming: the derivation of algorithms
An axiomatic basis for computer programming

Communications of the ACM
The Science of Programming

The Science of Programming
A Discipline of Programming

A Discipline of Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract