A9.com - OpenSearch Client Results - "logical frameworks"

Preferences | Help | Submit Your Search

Your browser has JavaScript turned off. Please enable JavaScript, or visit http://lite.a9.com, which does not require JavaScript

search groups:

search sources by topic:

quick start

web by Alexa.com

books by amazon

All Amazon.com

more sources...

entertainment >

reference >

amazon.com >

images >

add/remove search groups...

web by Alexa

58 results

1 Amazon.com: Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics): Books: A. Cantini

Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics) ...The book covers logical systems known as type-free or self-referential ....

http://www.amazon.com/Logical-Frameworks-Abstraction-Foundations-Mathematics/dp/0444823069 -

2 Logic in computer science - Wikipedia, the free encyclopedia

An online collaborative encyclopedia.

http://en.wikipedia.org/wiki/Logic_in_computer_science -

3 Amazon.com: Logic in Computer Science: Modelling and Reasoning about Systems: Michael Huth,Mark Ryan,M. Huth,M. Ryan: Books

Amazon.com seeks to be Earth's most customer-centric company, where customers can find and discover anything they might

http://www.amazon.com/Logic-Computer-Science-Modelling-Reasoning/dp/0521652006 -

4 BOND International Programme Work

A guide to what Logical Frameworks are, how to use them, and why....

http://www.bond.org.uk/pubs/ipw.htm -

5 Livelihoods Connect Sustainable Livelihoods Tools from DFID

http://www.livelihoods.org/info/tools/IMMLogframe.html -

6 Livelihoods Connect lessons, experience and views on sustainable livelihoods (PRSPs) from DFID

approach for the logical framework or logframe?...

http://www.livelihoods.org/post/log_PCM-theme1.html -

7 TOPPS Bibliography

Keywords : partial evaluation, logical frameworks, operational semantics, verification, ...

http://www.diku.dk/topps/bibliography/1996.html -

8 Home: Truthzone.co.uk Online Christian Resources Centre

for the user so that you are taken down a variety of logical frameworks of thought as you navigate the site....

http://www.truthzone.co.uk/ -

9 TOPPS Bibliography

Department of Computer Science. Research areas include algorithmics, distributed systems, multimedia, image processing,

http://www.diku.dk/forskning/topps/bibliography/bibl-aut.html -

10 ABC-Directory : Main - Computers - Computer Science - Publications - Bibliographies

http://www.abc-directory.com/category/84330 -

11 Aleksey Nogin's Curriculum Vitae

Фотоальбом, страницы однокласников.

http://nogin.org/CV.html -

12 Planning and Urban Design - Our Areas of Expertise - RTKL Associates Inc. - Architects Designers Planners Engineers Consultants

http://www.rtkl.com/whatwedo/planning.asp -

13 Citations: Intuitionistic Type Theory Bibliopolis - Martin-Lof (ResearchIndex)

Citation indexes of scientific literature. Generates statistics and allows browsing of the context of citations.

http://citeseer.ist.psu.edu/context/402106/0 -

14 Citations: Lilac: A functional programming language based on linear logic - Mackie (ResearchIndex)

Citation indexes of scientific literature. Generates statistics and allows browsing of the context of citations.

http://citeseer.ist.psu.edu/context/9813/0 -

15 2008 January >> Get Scholarship - Beasiswa

http://www.getscholarship.net/date/2008/01/ -

16 Jason's comment wall

http://ex.plode.us/comments/1051958/ -

17 Erin's friends

http://ex.plode.us/friends/397015/ -

18 M. Simons 1996

http://www.lettredelapreuve.it/Resumes/Simons/Simons96.html -

19 IPDET - Program Schedule

http://www.ipdet.org/page.aspx?pageId=scheduleWk1 -

20 CADE-22

School of Computer Science. Research groups focus on advanced compilers, architectures and programming systems, Java t

http://complogic.cs.mcgill.ca/cade22/ -

books by Amazon.com