Kết quả tìm kiếm - "Computational logic."

Handbook of practical logic and automated reasoning Bằng Harrison, J. (John) 1966-

Essential logic for computer science Bằng Page, Rex L., Gamboa, Ruben

Logic for computer science and artificial intelligence Bằng Caferra, Ricardo 1945-

The calculus of computation decision procedures with applications to verification Bằng Bradley, Aaron R.

A friendly introduction to mathematical logic Bằng Leary, Christopher C.

A friendly introduction to mathematical logic. Bằng Leary, Christopher C.

Real-world reasoning toward scalable, uncertain spatiotemporal, contextual and causal inference

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Dynamic logic Bằng Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

Click here to access thru EZproxy
Click here to access

Computational logic in multi-agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Control, computation and information systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Pr...

Available for University of the Philippines Diliman via SpringerLink. Click here to access