31 - 37
toradh á dtaispeáint as
37
toradh san iomlán ar an gcuardach '
"Mathematical logic."
'
Léim chuig an ábhar
UPFind
Mála leabhar:
0
míreanna
(Lán)
Teanga
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Gach réimse
Teideal
Údar
Ábhar
Gairmuimhir
ISBN/ISSN
AIMSIGH
CASTA
Torthaí cuardaigh - "Mathematical logic."
31 - 37
toradh á dtaispeáint as
37
toradh san iomlán ar an gcuardach '
"Mathematical logic."
'
, am iarratais: 0.02s
Beachtaigh na torthaí
Sórtáil
De réir ábharthachta
Newest to Oldest
Oldest to Newest
Údar
Teideal
Select Page
R-phost
Easpórtáil
Priontáil
Cuir leis an Mála Leabhar
Roghnaigh toradh uimhir 31
31
Logics with aggregate operators.
de réir
Hella, Lauri
Foilsithe in
Journal of the ACM
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Roghnaigh toradh uimhir 32
32
Automatic information extraction from large websites.
de réir
Crescenzi, Valter
Foilsithe in
Journal of the ACM
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Roghnaigh toradh uimhir 33
33
On sufficient conditions for unsatisfiability of random formulas.
de réir
Atserias, Albert
Foilsithe in
Journal of the ACM
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Roghnaigh toradh uimhir 34
34
Plausibility measures and default reasoning.
de réir
Friedman, N.
Foilsithe in
Journal of the ACM
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Roghnaigh toradh uimhir 35
35
The exterminators [software bugs].
de réir
Ross, P.E
Foilsithe in
IEEE spectrum
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Roghnaigh toradh uimhir 36
36
The exterminators [software bugs].
de réir
Ross, P.E
Foilsithe in
IEEE spectrum
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Roghnaigh toradh uimhir 37
37
The exterminators [software bugs].
de réir
Ross, P.E
Foilsithe in
IEEE spectrum
Gairmuimhir:
loading...
Suíomh:
loading...
Alt
loading...
Cuir leis an Mála Leabhar
Bain ón mála leabhar
Select Page
R-phost
Easpórtáil
Priontáil
Cuir leis an Mála Leabhar
[1]
Roimhe
1
2
3
4
Uirlisí cuardaigh:
Seol an cuardach seo mar r-phost
Siar
Beachtaigh na torthaí
Athlódálfaidh an leathanach nuair a roghnaítear scagaire nó nuair a fhaightear réidh le ceann.
CAMPUS
Diliman
12 toradh
12
Pampanga
2 toradh
2
Mindanao
1 toradh
1
DATABASE
Union Catalog (Buklod)
37 toradh
37
UNIT LIBRARY
College of Science
3 toradh
3
College of Engineering Library II
2 toradh
2
Diliman Main Library: Info. Services & Instruction Section
2 toradh
2
UP Diliman Extension Program in Pampanga
2 toradh
2
College of Education
1 toradh
1
College of Engineering Library I
1 toradh
1
College of Humanities and Social Sciences
1 toradh
1
College of Law
1 toradh
1
Diliman Main Library: Social Sciences Section
1 toradh
1
Institute of Mathematics
1 toradh
1
breathnaigh ar gach rud…
YEAR OF PUBLICATION
Ó:
Go dtí:
CLASSIFICATION
Q - Eolaíocht
9 toradh
9
B - Fealsúnacht, Síceolaíocht, Creideamh
2 toradh
2
SUBJECT
Decidability (Mathematical logic)
6 toradh
6
Logic, Symbolic and mathematical
4 toradh
4
Electronic books
3 toradh
3
Nonclassical mathematical logic
3 toradh
3
Unsolvability (Mathematical logic)
3 toradh
3
Computable functions
2 toradh
2
Probabilities
2 toradh
2
Artificial intelligence
1 toradh
1
Computer Science
1 toradh
1
Computer science
1 toradh
1
Computer systems
1 toradh
1
Data processing
1 toradh
1
Expert systems (Computer science)
1 toradh
1
Graph theory
1 toradh
1
Induction (Logic)
1 toradh
1
Industrial safety
1 toradh
1
Information theory
1 toradh
1
Logic design
1 toradh
1
Logic, Symbolic, and mathematical
1 toradh
1
Logics and Meanings of Programs
1 toradh
1
Mathematical Logic and Formal Languages
1 toradh
1
Mathematical Logic and Foundations
1 toradh
1
Mathematical logic
1 toradh
1
Mathematics of Computing
1 toradh
1
Model theory
1 toradh
1
Nuclear energy
1 toradh
1
Proof theory
1 toradh
1
Quality control
1 toradh
1
Reasoning
1 toradh
1
Recursive functions
1 toradh
1
breathnaigh ar gach rud…
AUTHOR
Gottlob, Georg
3 toradh
3
Ross, P.E
3 toradh
3
SpringerLink (Online service)
3 toradh
3
Priest, Graham
2 toradh
2
Arora, Sanjeev
1 toradh
1
Atserias, Albert
1 toradh
1
Benedikt, Michael
1 toradh
1
Bergstra, Jan A.
1 toradh
1
Clarke, Edmund M.
1 toradh
1
Clarke, Michael 1940-
1 toradh
1
Crescenzi, Valter
1 toradh
1
D. Van Dalen, promotor
1 toradh
1
Delzanno, Giorgio
1 toradh
1
Downey, R. G. (Rod G.)
1 toradh
1
Dykstra, Josiah
1 toradh
1
Eiter, Thomas
1 toradh
1
Fagin, Ronald
1 toradh
1
Frick, Markus
1 toradh
1
Friedman, N.
1 toradh
1
Gill, R.R. Rockingham
1 toradh
1
Greenberg, Noam 1974-
1 toradh
1
Hella, Lauri
1 toradh
1
Hodel, Richard E.
1 toradh
1
Jackson, Daniel
1 toradh
1
Kanazawa, Makoto
1 toradh
1
Kelly-Bootle, Stan
1 toradh
1
Loveland, Donald W.
1 toradh
1
Mannila, Heikki
1 toradh
1
Plandowski, Wojciech
1 toradh
1
Pollock, John L.
1 toradh
1
breathnaigh ar gach rud…
RESOURCE TYPE
Alt
22 toradh
22
LEABHAR
11 toradh
11
Electronic Resource
4 toradh
4
LANGUAGE
English
36 toradh
36
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman