Logic programming proceedings of the Tenth International Conference on Logic Programming

Hae kokoteksti
Hae kokoteksti

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

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

Ergo thinking critically and writing logically Tekijä Cooper, Sheila

Harmony of logic Felix M. Montemayor. Tekijä Montemayor, Felix M.

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

Plurals and events Tekijä Schein, Barry

Ontology, modality, and the fallacy of reference Tekijä Jubien, Michael

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

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