• Inventory number: 448513
  
• Language: en
  
• Type: b
  
• Call number: 511.3
  
• Author number: g168
  
• ISBN: 0-471-61546-3
  
• Title: logic for computer science foundations of automatic theorem proving
  
• Author: gallier,jean h.
  
• Place of publication and publisher: new york:john wiley and sons
  
• Publication date: 1987
  
• Pages: 5-15,511
  
• Notes: includes bibliography includes index495-511
  
• Subject: automatic theorem proving
  
• Subject: logic,symbolic and mathematical
  
• Number of copies: 01
  

help - new search - home - عربي

Beta version

 

 

 

 

 

 

 

Copyright © 2006 Iraqi National Library and Archive All rights reserved