Search alternatives:
"Logique informatique." » "Logique information." (Expand Search)
Showing 1 - 20 results of 20 for search '"Logique informatique."', query time: 0.75s Refine Results
  1. 1
    Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /
    Published 2005
    Subjects: “...Logique (Informatique) rasuqam...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers /
    Published 2006
    Subjects: “...Logique informatique Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Inconsistency tolerance /
    Published 2004
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    eBook
  4. 4
    Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers /
    Published 2004
    Subjects: “...Logique informatique Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers /
    Published 2005
    Subjects: “...Logique informatique Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 6
    ACM transactions on computational logic.
    Published 2000
    Subjects: “...Logique informatique Périodiques....”
    Journal
  7. 7
    Challenges for action theories /
    by Thielscher, Michael
    Published 2000
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    eBook
  8. 8
    Isabelle/HOL : a proof assistant for higher-order logic /
    by Nipkow, Tobias, 1958-
    Published 2002
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    Get full text
    eBook
  9. 9
    Computation engineering : applied automata theory and logic /
    by Gopalakrishnan, Ganesh
    Published 2006
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    Publisher description
    eBook
  10. 10
    Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
    Published 1999
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
    Published 2001
    Subjects: “...logique informatique....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  12. 12
    Program development in computational logic : a decade of research advances in logic-based program development /
    Published 2004
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    Get full text
    eBook
  13. 13
    Fundamentals of digital logic with VHDL design /
    Subjects: “...Structure logique Informatique....”
    Book
  14. 14
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
    Published 1994
    Subjects: “...logique informatique....”
    Connect to the full text of this electronic book
    eBook
  15. 15
    Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
    Published 2001
    Subjects: “...logique informatique....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 16
    Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
    Published 1995
    Subjects: “...logique informatique....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /
    Published 1997
    Subjects: “...Logique informatique Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 18
    Computation for metaphors, analogy, and agents /
    Published 1999
    Subjects: “...Logique informatique. ram...”
    Connect to the full text of this electronic book
    eBook
  19. 19
    Learning language in logic /
    Published 2000
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    eBook
  20. 20
    Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford /
    Published 1991
    Subjects: “...Circuits logiques Informatique Congrès....”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search