BibSonomy :: author  ::

bookmarks

publications

(8)

• Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem
  Bruce D. Parrello and Waldo C. Kabat and L. Wos Journal of Automated Reasoning 2 1--42 (1986)
  to nn by idsia and 1 other person on 2008-03-11 14:52:34
  | BibTeX  
• Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem
  Bruce D. Parrello and Waldo C. Kabat and L. Wos Journal of Automated Reasoning 2 1--42 (1986)
  to nn by schaul and 1 other person on 2008-02-26 11:58:58
  | BibTeX  
• Verification of software specifications using automated reasoning techniques (abstract).
  Jeffrey J. P. Tsai and Waldo C. Kabat ACM Conference on Computer Science 475 (1986)
  to dblp by dblp on 2006-02-08 00:00:00
  | URL | BibTeX  
• Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem.
  Bruce D. Parrello and Waldo C. Kabat J. Autom. Reasoning 2 1-42 (1986)
  to dblp by dblp on 2004-02-04 00:00:00
  | URL | BibTeX  
• Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems.
  Anita Jindal and Ross A. Overbeek and Waldo C. Kabat J. Autom. Reasoning 8 23-38 (1992)
  to dblp by dblp on 2004-02-04 00:00:00
  | URL | BibTeX  
• Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques.
  Waldo C. Kabat and Anthony S. Wojcik IEEE Trans. Computers 34 610-632 (1985)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX  
• On the Design of 4-Valued Digital Systems.
  Waldo C. Kabat and Anthony S. Wojcik IEEE Trans. Computers 30 666-671 (1981)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX  
• ATEEL (The Advanced Technology Environmental Education Library): Advancing Technician Program Resources into the New Millennium.
  Ellen J. Kabat Lensch and Kay Kretschmar Runge First Monday 5 (2000)
  to dblp by dblp on 2003-07-29 00:00:00
  | URL | BibTeX