Search Results

Search again

Search within results

Found: 4 Titles

Order by : Show: Per Page

Select Page | Deselect Page | Export saved(0) | Clear saved(0)

save

Handbook of practical logic and automated reasoning / John Harrison

Author

Harrison, John.

Published

Cambridge : Cambridge University Press, c2009

Call Number

QA76.9.L63 H31h

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

save

Introductory logic and sets for computer scientists / Nimal Nissanke.

Author

Nissanke, Nimal.

Published

Harlow : Addison Wesley Longman, c1999.

Call Number

QA76.9.L63 N56i

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

save

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Author

Huth, Michael.

Published

Cambridge : Cambridge University Press, c2000.

Call Number

QA76.9.L63 H93l

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

save

Logical problem solving before the flowchart with C++ and Visual Basic applications / Robert Lamey.

Author

Lamey, Robert.

Published

Upper Saddle River, NJ : Prentice Hall, c2002.

Call Number

QA76.73.C153 L285l

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

Search Tools: Get RSS Feed

Search again

Author

Subject

Publish year

Source Types

Location

Call no LC

Illustrations

Conference publication

Found: 4 Titles

Handbook of practical logic and automated reasoning / John Harrison

Introductory logic and sets for computer scientists / Nimal Nissanke.

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Logical problem solving before the flowchart with C++ and Visual Basic applications / Robert Lamey.

About us

Statistics

Recent News

Useful Links

Contact Us