Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Linkoping Electronic Articles in Computer and Information Science
 

Summary: LinkĻoping Electronic Articles in
Computer and Information Science
Vol. n(2001): nr nn
LinkĻoping University Electronic Press
LinkĻoping, Sweden
http://www.ep.liu.se/ea/cis/2001/nnn/
Object-Oriented
First-Order Logic
Eyal Amir
Department of Computer Science,
Stanford University,
Stanford, CA 94305-9020, USA
eyal.amir@cs.stanford.edu,
Published on February 13, 2001 by
LinkĻoping University Electronic Press
581 83 LinkĻoping, Sweden
LinkĻoping Electronic Articles in
Computer and Information Science
ISSN 1401-9841
Series editor: Erik Sandewall

  

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

 

Collections: Computer Technologies and Information Sciences