It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
July 28, 2014 | History
Edit

Karem A. Sakallah

We need a photo of Karem A. Sakallah

3 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

    First published in 2007 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

    First published in 2011 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

    First published in 2011 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Karem A. Sakallah

Subjects

Algorithm Analysis and Problem Complexity, Artificial Intelligence (incl. Robotics), Artificial intelligence, Calculus, Computation by Abstract Devices, Computer algorithms, Computer science, Computer software, Congresses, Decision making, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Propositional calculus, Verification

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7204273A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 28, 2014 Created by ImportBot import new book