東華大學圖書館 |

Language: English

繁體中文

回圖書館首頁

手機版館藏查詢

Login

Go To Advanced Search

Options

Bibliographic level:
Material type:
Only with items

Diacritics

Refine search

Associated Subjects

Search result for [ subject:"Algebraic logic"]

12 records (0.019s)· Page 1 of 1 • 1

1.

Relational and Kleene-algebraic meth...

~

Berghammer, R. (1952-)

Linked to FindBook

Google Book

Amazon

博客來

Relational and Kleene-algebraic methods in computer science = 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /
by: Berghammer, R. (1952-); Moller, Bernhard, (1953-); Struth, Georg.; SpringerLink (Online service); International Seminar on Relational Methods in Computer Science (2003 :); International Workshop on Applications of Kleene Algebra (2003 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: Berlin :
Year of Publication: 2004
ISBN: 9783540221456
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

2.

Algebraic and logic programming = 6t...

~

Hanus, Michael.

Linked to FindBook

Google Book

Amazon

博客來

Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
by: Hanus, Michael.; Heering, Jan.; Meinke, Karl.; SpringerLink (Online service); International Conference on Algebraic and Logic Programming (1997 :); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1997 :)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag,
Place of Publication: New York :
Year of Publication: 1997
ISBN: 9783540634591
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

3.

Linked to FindBook

Google Book

Amazon

博客來

Relational and Kleene-algebraic methods in computer science = 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /
by: International Seminar on Relational Methods in Computer Science (2003 :); Berghammer, R. (1952-); M鋌ller, Bernhard, (1953-); Struth, Georg.; NetLibrary, Inc.; International Workshop on Applications of Kleene Algebra (2003 :)
Electronic resources : Monograph/item
Publisher: Springer,
Place of Publication: Berlin ;
Year of Publication: 2004
ISBN: 3540247718
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

4.

Algebraic coding theory and informat...

~

Ashikhmin, A. (1966-)

Linked to FindBook

Google Book

Amazon

博客來

Algebraic coding theory and information theory : = DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey /
by: Ashikhmin, A. (1966-); Barg, Alexander, (1960-); DIMACS (Group)
Language materials, printed : Monograph/item
Publisher: American Mathematical Society,
Place of Publication: Providence, R.I. :
Year of Publication: 2005
ISBN: 9780821836262; 0821836269
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

5.

A tale of discrete mathematics : = a...

~

Khoury, Joseph, (1968-)

Linked to FindBook

Google Book

Amazon

博客來

A tale of discrete mathematics : = a journey through logic, reasoning, structures and graph theory /
by: Khoury, Joseph, (1968-)
Language materials, printed : Monograph/item
Publisher: World Scientific,
Place of Publication: New Jersey :
Year of Publication: 2024
ISBN: 9811285780; 9789811285783
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

6.

Relational and algebraic methods in ...

~

Kahl, Wolfram.

Linked to FindBook

Google Book

Amazon

博客來

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by: Kahl, Wolfram.; Winter, Michael.; Oliveira, Jose.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2015
ISBN: 9783319247038; 9783319247045
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

7.

Relational and algebraic methods in ...

~

RAMiCS (Conference) (2021 :)

Linked to FindBook

Google Book

Amazon

博客來

Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings /
by: RAMiCS (Conference) (2021 :); Fahrenberg, Uli.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2021
ISBN: 9783030887001; 9783030887018
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

8.

Relations and Kleene algebra in comp...

~

Berghammer, R. (1952-)

Linked to FindBook

Google Book

Amazon

博客來

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings /
by: Berghammer, R. (1952-); Moller, Bernhard, (1953-); Struth, Georg.; SpringerLink (Online service); International Seminar on Relational Methods in Computer Science (2008 :); International Workshop on Applications of Kleene Algebra (2008 :)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag Berlin Heidelberg,
Place of Publication: Berlin, Heidelberg :
Year of Publication: 2008
ISBN: 9783540789130; 9783540789123
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

9.

Relational and algebraic methods in ...

~

RAMiCS (Conference) (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by: RAMiCS (Conference) (2020 :); Fahrenberg, Uli.; Jipsen, Peter.; Winter, Michael.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2020
ISBN: 9783030435196; 9783030435202
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

10.

Relational and algebraic methods in ...

~

RAMiCS (Conference) (2023 :)

Linked to FindBook

Google Book

Amazon

博客來

Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by: RAMiCS (Conference) (2023 :); Glück, Roland.; Santocanale, Luigi.; Winter, Michael.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2023
ISBN: 9783031280825; 9783031280832
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

11.

Algebraic Methodology and Software T...

~

Meseguer, Jose.

Linked to FindBook

Google Book

Amazon

博客來

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by: Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag Berlin Heidelberg,
Place of Publication: Berlin, Heidelberg :
Year of Publication: 2008
ISBN: 9783540799795; 9783540799801
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

12.

Relational and algebraic methods in ...

~

RAMiCS (Conference) (2017 :)

Linked to FindBook

Google Book

Amazon

博客來

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by: RAMiCS (Conference) (2017 :); Hofner, Peter.; Pous, Damien.; Struth, Georg.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2017
ISBN: 9783319574172; 9783319574189
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

Diacritics Close

Diacritics Close

貨幣：
￥￡ ₤ ₣ ₢ ₡ ₠ ₥ ₦ ₧ ₨ ₩ ₪ ₫ €

數學符號：
± Ω λ β α θ π μ ≠ ≤ ≥ ∑

日文：
あいうえおかきくけこさし
すせそたちつてとなにぬね
のはひふへほまみむめもや
ゆよらりるれろわをんがぎ
ぐげござじずぜぞだぢづで
どばびぶべぼぱぴぷぺぽ
アイウエオカキクケコサシ
スセソタチツテトナニヌネ
ノハヒフヘホマミムメモヤ
ユヨラリルレロワヲンガギ
グゲゴザジズゼゾダヂヅデ
ドバビブベボパピプペポ

羅馬數字：
Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ

Save to Personal SDI

Export

pickup library

© 2010 IME Romania v3.1.1

Processing...

Change password

Login