Logic programming proceedings of the Tenth International Conference on Logic Programming

Obter o texto integral
Obter o texto integral

Logic and specification extending VDM-SL for advanced formal specification por Middelburg, Cornelis A.

High-speed digital design a handbook of black magic por Johnson, Howard W.

Ergo thinking critically and writing logically por Cooper, Sheila

Harmony of logic Felix M. Montemayor. por Montemayor, Felix M.

Logic analyzers for microprocessors edited by Charles H. House por Kneen, John

Plurals and events por Schein, Barry

Ontology, modality, and the fallacy of reference por Jubien, Michael

Our knowledge of the external world as a field for scientific method in philosophy por Russell, Bertrand 1872-1970

An introduction to logic por Cohen, Morris Raphael 1880-1947, Nagel, Ernest 1901-