Výsledky vyhledávání - "first-order"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "first-order"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 2 855 082 pro vyhledávání: '"first-order"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Kniha

First-Order Logic : A Concise Introduction. [elektronicky zdroj]

Autor: Heil, John

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 2 2

Kniha

First Order of Business : 12-Minute Bible Reflections to Open Church Meetings. [elektronicky zdroj]

Autor: Carlson, Judith Marsh

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Vybrat výsledek číslo 3 3

Kniha

Fragments of First-Order Logic. [elektronicky zdroj]

Autor: Pratt-Hartmann, Ian

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests)

Vybrat výsledek číslo 4 4

Kniha

Classical First-Order Logic. [elektronicky zdroj]

Autor: Shapiro, Stewart

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

Vybrat výsledek číslo 5 5

Kniha

First-Order Modal Logic. [elektronicky zdroj]

Autor: Fitting, Melvin

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

Vybrat výsledek číslo 6 6

Kniha

Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. [elektronicky zdroj]

Autor: Hájek, Petr, author

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 7 7

Elektronická kniha

Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. [electronic resource]

Autor: Hájek, Petr, author

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

Vybrat výsledek číslo 8 8

Kniha

First-Order Logic Revisited. [elektronicky zdroj]

Autor: Hendricks, Vincent

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

Vybrat výsledek číslo 9 9

Kniha

The Massera-Schäffer problem for a first order linear differential equation / Nina A. Chernyavskaya, Leonid A. Shuster.

Autor: Chernyavskaya, Nina A.

Externí odkaz: Plný text
DOI

načítá se...

Vybrat výsledek číslo 10 10

Elektronická kniha

First-Order Logic. [electronic resource]

Autor: Halmos, P. R.

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[285509]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

1 866 527 Akademické články
297 351 Elektronické knihy
117 473 Konferenční materiály
90 937 Časopisy
55 173 Knihy
45 068 Reports
14 241 News
12 346 Dissertations
10 580 Recenze
7 454 Trade Publications
5 466 Electronic Resources
142 Primary Source Documents
93 Research Starters
90 Biographies
37 Non-Print Resources

31 178 journal of chemical physics
17 378 scientific reports
15 005 journal of applied physics
13 665 aip conference proceedings
13 139 plos one
8 130 applied physics letters
5 851 journal of mathematical physics
5 563 journal of high energy physics
4 536 chemosphere
4 516 water resources research
3 855 entropy
3 774 ieee transactions on magnetics
3 579 journal of hazardous materials
3 443 physical review letters
3 432 physical review b
3 203 journal of statistical physics
2 974 proceedings of the national academy of sciences of the united states of america
2 830 siam journal on numerical analysis
2 521 management science
2 282 chemical engineering journal
2 125 environmental science & technology
1 954 water research
1 852 synthese
1 742 composite structures
1 724 mathematical programming
1 688 journal of the american chemical society
1 651 science of the total environment
1 599 applied optics
1 585 journal of computational physics
1 413 physical review d
1 319 journal of environmental management
1 296 physics letters b
1 292 physical review e
1 190 journal of mathematical analysis and applications
1 172 journal of magnetism and magnetic materials
1 105 bioresource technology
1 065 optics letters
1 021 journal of colloid and interface science
898 international journal of computer mathematics
893 applied mathematics and computation
892 chemical engineering science
812 physics letters a
730 ieee access
708 solid state communications
603 journal of computational and applied mathematics
600 vision research
577 journal of differential equations
558 journal of philosophical logic
544 proceedings of the american mathematical society
248 studia logica

1 482 687 Complementary Index
362 494 Academic Search Ultimate
324 593 OpenAIRE
257 323 eBook Index
116 757 Business Source Ultimate
58 293 Supplemental Index
53 389 MEDLINE
38 138 eBook Collection (EBSCOhost)
33 730 arXiv
32 316 Scopus®
18 686 Directory of Open Access Journals
17 084 Science Citation Index Expanded
12 990 Networked Digital Library of Theses & Dissertations
11 872 Regional Business News
10 391 Emerald Insight
7 275 GreenFILE
6 710 JSTOR Journals
3 448 ScienceDirect
2 215 Vybrané kolekce e-knih
939 SAGE Knowledge
790 Oxford Scholarship Online
728 NORA (Norwegian Open Research Archive)
614 Social Sciences Citation Index
360 Library, Information Science & Technology Abstracts
297 SAGE Research Methods
237 Central and Eastern European Online Library (CEEOL)
220 Arts & Humanities Citation Index
159 Oxford Reference
101 Katalog Knihovny AV ČR
93 Research Starters
73 BrillOnline Reference Works
26 Britannica Online
22 SSOAR – Social Science Open Access Repository
13 OAPEN Library
9 Brill E-Book Collection
5 E-LIS (Eprints in Library & Information Science)
4 Digitalni knihovny ČR
1 Digitální knihovna AV ČR – Kramerius

24 458 united states
12 749 china
4 341 united kingdom
3 980 india
2 931 europe
2 883 canada
2 630 australia
2 128 italy
2 045 brazil
1 798 california

94 Baze Knava - Analytika
7 Knav

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......