Search results: Sage Journals

Restricted accessResearch articleFirst published August, 2012

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Restricted accessResearch articleFirst published May, 2009

Iain A. Stewart

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 1987

Daniel Schneider

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published November, 1990

Judith K. Grosenick, Michael P. George, Nancy L. George

Behavioral Disorders

Free accessResearch articleFirst published June, 2013

Yong Kuk Park, Jung-Min Yang

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Restricted accessResearch articleFirst published August, 2022

Jiong Wang, Zhanfeng Li, Zili Jin

Mathematics and Mechanics of Solids

Restricted accessResearch articleFirst published August, 2021

Jiaru Bai, Shu Hu, Luyi Gui [...]

Production and Operations Management

Restricted accessResearch articleFirst published 1987

A.J. Kfoury, P. Urzyczyn

Fundamenta Informaticae

Restricted accessResearch articleFirst published September, 2010

Cristina Caperchione, W. Kerry Mummery, Kelly Joyner

Health Promotion Practice

Restricted accessResearch articleFirst published 2004

Wann-Ming Wey, R. Jayakrishnan

Transportation Research Record: Journal of the Transportation Research Board