LOGIC DESIGN FOR ARRAY-BASED CIRCUITS A STRUCTURED DESIGN METHODOLOGY
D.E.White1992 年出版342 页ISBN:
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
LOGIC AND LINGUISTICS RESEARCH DIRECTIONS IN COGNTIVE SCIENCE EUROPEAN PERSPECTIVES VOL.2
2222 年出版217 页ISBN:0863771122
FOUNDATIONS OF FINANCE THE LOGIC AND PRACTICE OF FINANCIAL MANAGEMENT SECOND EDITON
1998 年出版368 页ISBN:0136733778
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Artificial Intelligence 3625 Inductive Logic Programming 15th International Confere
ILP 20052005 年出版427 页ISBN:3540281770
Lecture Notes in Artificial Intelligence 4455 Inductive Logic Programming 16th International Confere
ILP 20062007 年出版456 页ISBN:9783540738466