國立高雄大學圖資館 |

Search result for [ subject:"Mathematical Logic and Formal Languages"]

30 records (0.029s)· Page 1 of 3 • 1 2 3

1.

Programming Sudoku /

~
Lee, Wei-Meng.
- Programming Sudoku /
- by: Lee, Wei-Meng.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Berkeley, CA :
- Year of Publication: 2006
- ISBN: 9781430201380; 9781590596623
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Agent Technology from a Formal Perspective /
- by: Rouff, Christopher A..
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag London Limited,
- Place of Publication: London :
- Year of Publication: 2006
- ISBN: 9781846282713; 9781852339470
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.
- Notes on Set Theory /
- by: Moschovakis, Yiannis.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, Inc.,
- Place of Publication: New York, NY :
- Year of Publication: 2006
- ISBN: 9780387287225; 9780387316093
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Finite Model Theory /
- by: Ebbinghaus, Heinz-Dieter.; Flum, Jorg.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540287872; 9783540287889
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Contributions to the Science of Text and Language :Word Length Studies and Related Issues /
- by: Grzybek, Peter.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Dordrecht :
- Year of Publication: 2006
- ISBN: 9781402040672; 9781402040689
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- Comprehensive Mathematics for Computer Scientists 2 :Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
- by: Mazzola, Guerino.; Milmeister, Gerard.; Weissmann, Jody.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540208617; 9783540269373
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- A Theory of Distributed Objects :Asynchrony, Mobility, Groups, Components /
- by: Caromel, Denis.; Henrio, Ludovic.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540208662; 9783540272458
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- Logica Universalis :Towards a General Theory of Logic /
- by: Beziau, Jean-Yves.
- Electronic resources : Monograph/item
- Publisher: Birkhauser Verlag,
- Place of Publication: Basel :
- Year of Publication: 2005
- ISBN: 9783764372590; 9783764373047
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Central European Functional Programm...

~
(1998 :)
- Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected /
- by: (1998 :); Horvath, Zoltan, (1962-); SpringerLink (Online service)
- Language materials, printed : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540880585; 9783540880592
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Artificial Intelligence and Symbolic...

~
(1998 :)
- Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
- by: (1998 :); Calmet, Jaques.; Ida, Tetsuo.; SpringerLink (Online service); Wang, Dongming
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540397281; 9783540397304
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items