Showing 61 - 80 results of 310 for search '"Logic."', query time: 0.06s Refine Results
  1. 61
    Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
    Published 1987
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  2. 62
    Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
    Published 1987
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  3. 63
    Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  4. 64
    Propositional and Predicate Calculus A Model of Argument
    by Goldrei, Derek
    Published 2005
    Subjects: “…Logic, Symbolic and mathematical 65151…”
    Get full text
    Electronic Kit Book
  5. 65
    Programming Sudoku
    by Lee, Wei-Meng
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  6. 66
    Fuzzy controllers
    by Reznik, Leonid 1955-
    Published 1997
    Subjects: “…Fuzzy logic 74866…”
    An electronic book accessible through the World Wide Web; click for information
    Electronic Book
  7. 67
    Quantifiers in language and logic /
    by Peters, Stanley
    Published 2006
    Subjects: “…Language and logic…”
    Book
  8. 68
    Time for Verification Essays in Memory of Amir Pnueli
    by Manna, Zohar
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  9. 69
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
    by Giesl, JΓΌrgen
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  10. 70
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  11. 71
    Constraint Logic Programming Selected Research
    Published 1993
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  12. 72
    Programmable logic controllers : architecture and application.
    Published 1990
    Subjects: “…LOGIC CONTROLLERS…”
    Book
  13. 73
    Speech Processing in Embedded Systems
    by Sinha, Priyabrata
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  14. 74
    Language, Meaning, Interpretation
    Published 2005
    Subjects: “…Logic 64716…”
    Get full text
    Electronic Kit Book
  15. 75
    Argumentation Methods for Artificial Intelligence in Law
    by Walton, Douglas
    Published 2005
    Subjects: “…Logic 64716…”
    Get full text
    Electronic Kit Book
  16. 76
    Problems and Theorems in Classical Set Theory
    by KomjΓ'th, PΓ©ter
    Published 2006
    Subjects: “…Logic, Symbolic and mathematical 65151…”
    Get full text
    Electronic Kit Book
  17. 77
    Autonomous model-based diagnosis agents
    by Schroeder, Michael
    Published 1998
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  18. 78
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    by Pol, Jaco
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  19. 79
    A logical Approach to Philosophy Essays in Honour of Graham Solomon
    by Devidi, David
    Published 2006
    Subjects: “…Logic 64716…”
    Get full text
    Electronic Kit Book
  20. 80
    A Roadmap for Formal Property Verification
    by DasGupta, Pallab
    Published 2006
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search