Showing
1,521 - 1,533
results of
1,533
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Other:
Remove Filter
Logic, Symbolic and mathematical
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Other:
Remove Filter
Logic, Symbolic and mathematical
Search Results
Showing
1,521 - 1,533
results of
1,533
for search '
'
, query time: 0.24s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1521
Logic-based methods for optimization : combining optimization and constraint satisfaction /
by
Hooker, John, 1949-
Published 2000
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1522
Optimization methods for logical inference /
by
Chandru, Vijay, 1953-
Published 1999
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1523
Qualitative Spatial and Temporal Reasoning.
by
Ligozat, Gérard
Published 2012
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1524
Introduction to fuzzy logic /
by
Peckol, James K.
Published 2021
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1525
Structural analysis of non-classical logics : the proceedings of the second Taiwan Philosophical Logic Colloquium /
Published 2015
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
1526
Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20--22, 2016, Revised Selected Papers /
Published 2016
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1527
Samson Abramsky on Logic and Structure in Computer Science and Beyond /
Published 2023
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1528
Introduction to mathematics : number, space, and structure /
by
Taylor, Scott A., 1976-
Published 2023
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1529
Extensions of the axion of determinacy /
by
Larson, Paul B. (Paul Bradley), 1970-
Published 2023
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1530
Temporal logics /
by
Goranko, Valentin
Published 2023
Call Number:
Loading...
Located:
Loading...
Book
Loading...
1531
Money-pump arguments /
by
Gustafsson, Johan E.
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
1532
Tractatus logico-philosophicus : a new translation /
by
Wittgenstein, Ludwig, 1889-1951
Published 2024
Call Number:
Loading...
Located:
Loading...
Book
Loading...
1533
Bertrand's paradox and the principle of indifference /
by
Shackel, Nicholas, 1955-
Published 2024
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
[1]
Prev
67
68
69
70
71
72
73
74
75
76
77
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Book
916 results
916
eBook
581 results
581
Conference Proceeding
247 results
247
Journal
30 results
30
Microform
8 results
8
Thesis
7 results
7
Government Document
6 results
6
Serial
2 results
2
see all…
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
456 results
456
Association for Symbolic Logic
26 results
26
Taylor & Francis
26 results
26
NetLibrary, Inc
18 results
18
Wittgenstein, Ludwig, 1889-1951
16 results
16
Gabbay, Dov M., 1945-
14 results
14
Carnap, Rudolf, 1891-1970
13 results
13
Börger, E. (Egon), 1946-
10 results
10
Taylor and Francis
10 results
10
ebrary, Inc
10 results
10
Boole, George, 1815-1864
9 results
9
Quine, W. V. (Willard Van Orman)
9 results
9
Crossley, John N.
8 results
8
Nerode, Anil, 1932-
8 results
8
Gödel, Kurt
7 results
7
Hermes, Hans
7 results
7
Hilbert, David, 1862-1943
7 results
7
Müller, G. H. (Gert Heinz), 1923-
7 results
7
Wang, Dongming
7 results
7
Benthem, Johan van, 1949-
6 results
6
Calmet, Jacques
6 results
6
Church, Alonzo, 1903-1995
6 results
6
Dalen, D. van (Dirk), 1932-
6 results
6
Feferman, Solomon
6 results
6
Ganter, Bernhard
6 results
6
Kleine Büning, H. (Hans)
6 results
6
Kurt Gödel Society
6 results
6
McGuinness, Brian
6 results
6
Richter, Michael M., 1938-
6 results
6
Wansing, H. (Heinrich)
6 results
6
see all…
Language
English
1,468 results
1,468
German
58 results
58
French
42 results
42
Russian
18 results
18
Polish
6 results
6
Italian
3 results
3
Latin
3 results
3
Undetermined
3 results
3
Dutch
2 results
2
Spanish
2 results
2
Multiple
1 results
1
Norwegian
1 results
1
Romanian
1 results
1
Swedish
1 results
1
see all…
Geography
Austria
3 results
3
United States
3 results
3
Poland
2 results
2
Altrincham <1987>
1 results
1
Ames (Iowa)
1 results
1
Amsterdam
1 results
1
Bled
1 results
1
Bled <1999>
1 results
1
Canberra
1 results
1
Caracas
1 results
1
Darmstadt <2005>
1 results
1
Germany
1 results
1
Great Britain
1 results
1
Indianapolis <Ind., 1994>
1 results
1
Italy
1 results
1
Kioto <1987>
1 results
1
Konstanz <1989>
1 results
1
Nevada
1 results
1
Plattsburgh (NY)
1 results
1
Santa Margherita Ligure
1 results
1
Santa Margherita Ligure <2002>
1 results
1
Terrasini Favarotta
1 results
1
Zürich
1 results
1
see all…
Loading...