Search results for: J. B. Wells
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Development and Synthesis > 262-277
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 280-295
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 284-301
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 591-604
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 296-312
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session VI: Documents > 217-233
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 757-771
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 591-604
Fundamenta Informaticae > 2012 > Vol. 121, nr 1/4 > 153-184
Fundamenta Informaticae > 2012 > Vol. 121, nr 1/4 > 43-82