Martin Davis on Computability, Computational Logic, and Mathematical Foundations
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2016ISBN: - 9783319418421
eBooks
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1728467 |
There are no comments on this title.
Log in to your account to post a comment.
-
1
Basic faster and better and REF mysteries
by Rosenfelder L -
2
Basic for students: with applications
by Trombetta Michael -
3
Basic mathematical programming theory
by Giorgi, Giorgio -
4
Basic programming using structured modules
by Barron Jonathan C -
5
Complet text on basic programming
by Holmes B J -
6
Complete text on basic programming
by Holmes B J -
7
Computer programs in Basic
by Friedman P -
8
Core visual basic 5
by Cornell Gary -
9
Elements of basic
by Lewis R -
10
Fuzzy geometric programming techniques and applications
by Islam Sahidul -
11
Inside basic games
by Mateosian R -
12
Internet programming with VBscript and Javascript
by Kalata Kathleen -
13
Introduction to pytho programming for scientific and engineers
by Lin, Johnny Wei-Bing -
14
Linear programming
by Karloff Howard -
15
Mastering visual basic 6
by Petroutsos Evangelos -
16
Programming a primer coding for beginners
by Bell Tom -
17
Programming in Basic
by Balagurusamy E -
18
Programming in microsoft visual basic 6.0; Programming in microsoft visual basic 6.0
-
19
R programming and its applications in financial mathematics
by Ohsaki Shuichi -
20
Schaum's outline of theory and problems of programming with basic:including expanded micro coumpter basic section by Byron S Gottfried
by Gottfried Byron S -
21
Schaums outline of theory and problems of programming with basic including microcomputer basic
by Gottfried Byron S -
22
Software for data analysis: Programming with R
by Chambers John M -
23
Structured basic pogramming
by Kemeny John G -
24
Subject oriented programming with C++
by Balagrusamy E -
25
Subject oriented programming with C++
by Balagrusamy E -
26
Theory and problems of programming with BASIC
by Gottfried Bryon S -
27
Theory and problems of programming with BASIC
by Gottfriend Bryon S -
28
Theory and problems of programming with basic: including expanded microcomputer basic section
by Gottfried Byron S -
29
Theory and problems of programming with basic: including expanded microcomputer basic section
by Gottfried Byron S -
30
Theory and problems of programming with basic: including expanded microcomputer basic section
by Gottfried Byron S -
31
Theory and problems of programming with basic: including expanded microcomputer basic section
by Gottfried Bryon S -
32
Theory and problems of programming with basic: including expanded microcomputer basic section by Byron S Gottfried
by Gottfried Byron S -
33
Theory and problems of programming with basic: including expanded microcomputer basic section by Byron S Gottfried
by Gottfried Byron S -
34
Theory and problems of programming with basic: including expanded microcomputer basic section by Byron S Gottfried
by Gottfried Byron S -
35
Theory and problems of programming with basic: including expanded microcomputer basic section by Byron S Gottfried
by Gottfried Byron S -
36
Theory and problems of programming with basic: including expanded microcomputer basic section by Byron S Gottfried
by Gottfried Byron S -
37
Theory and problems of programming with basic:including expanded microcoumpter basic section by Byron S Gottfried
by Gottfried Byron S -
38
Theory and problems of programming with basic:including expanded microcoumpter basic section by Byron S Gottfried
by Gottfried Byron S -
39
Theory and problems of programming with basic:including expanded microcoumpter basic section by Byron S Gottfried
by Gottfried Byron S -
40
Theory and problems of programming with basic:including expanded microcoumpter basic section by Byron S Gottfried
by Gottfried Byron S -
41
Visual basic .NET and XML: harness the power of XML in VB.NET applications
by Stephens Rod -
42
Visual basic 6: Visual quickstart guide
by Davis Harold -
43
Visual basicTM 4.0 internet programming
by Franklin Carl
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
APA
Eugenio G. Omodeo A. P., .Martin Davis on Computability, Computational Logic, and Mathematical Foundations. : Springer.
Chicago
Eugenio G. Omodeo Alberto Policriti, .Martin Davis on Computability, Computational Logic, and Mathematical Foundations. : Springer.
Harvard
Eugenio G. Omodeo A. P., .Martin Davis on Computability, Computational Logic, and Mathematical Foundations. : Springer.
MLA
Eugenio G. Omodeo Alberto Policriti, .: Springer. .
