Blank Cover Image
このページのQRコード

Decidable theories

種類:
図書
出版情報:
Berlin ; New York : Springer-Verlag
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Decidability of Logical Theories and Their Combination

Rasga, João., Sernadas, Cristina., SpringerLink (Online service)

Springer International Publishing : Imprint: Birkhäuser
7 図書 THE STRUCTURE OF DECIDABLE LOCALLY FINITE VARIETIES

MACKENZIE, RALPH, VALERIOTE, MATHEW

BRIKHAUSER
2 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans, Herman, Gabor T., Plassmann, O.

Springer
8 図書 Who decides? : issues and case studies

Urofsky, Melvin Irving, 1939-, Urofsky, Philip E.

Garland Pub.
3 電子ブック Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Büchi, J.R., Siefkes, D., Müller, G.H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 図書 Cognition and curriculum : a basis for deciding what to teach

Eisner, Elliot W.

Longman
4 図書 Thinking and deciding

Baron, Jonathan, 1944-

Cambridge University Press
10 図書 Deciding for others : the ethics of surrogate decision making

Buchanan, Allen E., 1948-, Brock, Dan W.

Cambridge University Press
5 電子ブック Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Siefkes, Dirk., Müller, Gert H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 Theory

Kleinrock, Leonard

Wiley
6 図書 The structure of decidable locally finite varieties

McKenzie, Ralph, Valeriote, Matthew

Birkhäuser
12 図書 Theory

Hansen, Harry M. (Harry Morris), Hurwitz, William N., Madow, William G. (William Gregory), 1911-

Wiley, Chapman & Hall