Sign In
Sign Up
-
/
5
0 votes
Share
Proving termination properties of PROLOG programs
Status
Rate
Check Later
Authors
Marianne Baudinet
Subjects
Semantics
Artificial Intelligence
Prolog (Computer Program Language)
Computer Programs
Correctness
Termination
Programming Languages (Electronic Computers)
Reviews (0)
see more
Seems like you haven't provided a review
Don't miss the opportunity to
share your thoughts
!
Similar Books
see more
Similar Movies
see more
Similar TV Series
see more
Similar Games
see more