<--- Back to Details
First PageDocument Content
Fauna of Europe / Lesser Kestrel / Kestrel / Falcon / Kalahari Desert / Common Kestrel / Greater Kestrel / Falco / Ornithology / Zoology
Date: 2011-10-04 06:31:20
Fauna of Europe
Lesser Kestrel
Kestrel
Falcon
Kalahari Desert
Common Kestrel
Greater Kestrel
Falco
Ornithology
Zoology

Add to Reading List

Source URL: sabap2.adu.org.za

Download Document from Source Website

File Size: 149,83 KB

Share Document on Facebook

Similar Documents

Formal methods / Theoretical computer science / Software engineering / Logic in computer science / Software development / Semigroup action / Refinement / Predicate transformer semantics / Program transformation / Postcondition / Finite-state machine / Formal verification

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

DocID: 1xW2y - View Document

Computer programming / Software engineering / Functional programming / Monad / Heap / Clean

Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2

DocID: 1xVQC - View Document

Surname / Patronymic surnames / Genealogy / Lambert Meertens / Meertens / Lambert / Algebraic structure / Scientific law

Calculemus Igitur Lambert Meertens Kestrel Institute & Utrecht University (1)

DocID: 1xVNK - View Document

Mathematical logic / Logic / Mathematics / Model theory / Automated theorem proving / Predicate logic / Semantics / Logic programming / Resolution / First-order logic / Skolem normal form / Substitution

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

DocID: 1xVHV - View Document

Computing / Memory management / Knowledge representation / Mutator / Garbage collection / Garbage / Connectivity / Tree / Tracing garbage collection

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2

DocID: 1xVCQ - View Document