Books By Sernadas, Cristina

1.

Decidability of Logical Theories and Their Combina... - a book by Rasga, João

Decidability of Logical Theories and Their Combination

Author:: Rasga, João
Sernadas, Cristina

ISBN:: 978-3-030-56556-5

Book Format:: Paperback

List Price:: USD $74.99USD $64.99

Publisher:: Springer International Publishing AG

Publication Date:: Oct 2021

2.

A Mathematical Primer on Linear Optimization

Author:: Gomes, Diogo
Sernadas, Amílcar
Sernadas, Cristina

ISBN:: 978-1-84890-315-9

Book Format:: Paperback

List Price:: USD $15.50

Publisher:: College Publications

Publication Date:: Sep 2019

3.

A Mathematical Primer on Computability

Author:: Sernadas, Amílcar
Sernadas, Cristina
Rasga, Joao

ISBN:: 978-1-84890-296-1

Book Format:: Paperback

List Price:: USD $17.50

Publisher:: College Publications

Publication Date:: Nov 2018

4.

Fundamentos de lógica e Teoria Da Computaçao

Author:: Sernadas, Amílcar
Sernadas, Cristina

ISBN:: 978-1-84890-081-3

Book Format:: Paperback

List Price:: USD $20.00

Publisher:: College Publications

Publication Date:: Aug 2012

5.

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Author:: Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

ISBN:: 978-90-481-7725-7

Book Format:: Paperback

List Price:: USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Nov 2010

6.

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Author:: Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

ISBN:: 978-1-4020-6781-5

Book Format:: Hardback

List Price:: AUD $421.95

Publisher:: Springer

Publication Date:: Jan 2008

7.

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Author:: Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

ISBN:: 978-1-4020-6782-2

Book Format:: Ebook

List Price:: USD $269.00

Publisher:: Springer London, Limited

Publication Date:: Jan 2008

8.

Decidability of Logical Theories and Their Combinations

Author:: Rasga, João
Sernadas, Cristina

ISBN:: 978-3-030-56553-4

Book Format:: Hardback

List Price:: USD $74.99USD $69.99USD $64.99

Publisher:: Springer International Publishing AG

Publication Date:: Oct 2020

9.

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Author:: Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

ISBN:: 978-90-481-7725-7

Book Format:: Paperback

List Price:: AUD $421.95

Publisher:: Springer

Publication Date:: Nov 2010

10.

Fundamentos de lógica e Teoria Da Computaçao

Author:: Sernadas, Amílcar
Sernadas, Cristina

ISBN:: 978-1-84890-081-3

Book Format:: Paperback

List Price:: AUD $20.90

Publisher:: College Publications

Publication Date:: Aug 2012

11.

Analysis and Synthesis of Logics: How to Cut and P... - a book by Carnielli, Walter

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Author:: Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

ISBN:: 978-1-281-20550-6

Book Format:: Ebook

List Price:: USD $538.00

Publisher:: Springer

Publication Date:: Sep 2008

12.

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Author:: Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

ISBN:: 978-1-4020-6781-5

Book Format:: Hardback

List Price:: USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Feb 2008

Books » Sernadas, Cristina Books » Books By Sernadas, Cristina

Related Keywords

Refine Options

Featured Books


1.		Decidability of Logical Theories and Their Combination Author: Rasga, João Sernadas, Cristina ISBN: 978-3-030-56556-5 Book Format: Paperback List Price: USD $74.99USD $64.99 Publisher: Springer International Publishing AG Publication Date: Oct 2021 Quantity Note

2.		A Mathematical Primer on Linear Optimization Author: Gomes, Diogo Sernadas, Amílcar Sernadas, Cristina ISBN: 978-1-84890-315-9 Book Format: Paperback List Price: USD $15.50 Publisher: College Publications Publication Date: Sep 2019 Quantity Note

3.		A Mathematical Primer on Computability Author: Sernadas, Amílcar Sernadas, Cristina Rasga, Joao ISBN: 978-1-84890-296-1 Book Format: Paperback List Price: USD $17.50 Publisher: College Publications Publication Date: Nov 2018 Quantity Note

4.		Fundamentos de lógica e Teoria Da Computaçao Author: Sernadas, Amílcar Sernadas, Cristina ISBN: 978-1-84890-081-3 Book Format: Paperback List Price: USD $20.00 Publisher: College Publications Publication Date: Aug 2012 Quantity Note

5.		Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Author: Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina ISBN: 978-90-481-7725-7 Book Format: Paperback List Price: USD $169.99 Publisher: Springer Netherlands Publication Date: Nov 2010 Quantity Note

6.		Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Author: Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina ISBN: 978-1-4020-6781-5 Book Format: Hardback List Price: AUD $421.95 Publisher: Springer Publication Date: Jan 2008 Quantity Note

7.		Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Author: Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina ISBN: 978-1-4020-6782-2 Book Format: Ebook List Price: USD $269.00 Publisher: Springer London, Limited Publication Date: Jan 2008 Quantity Note

8.		Decidability of Logical Theories and Their Combinations Author: Rasga, João Sernadas, Cristina ISBN: 978-3-030-56553-4 Book Format: Hardback List Price: USD $74.99USD $69.99USD $64.99 Publisher: Springer International Publishing AG Publication Date: Oct 2020 Quantity Note

9.		Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Author: Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina ISBN: 978-90-481-7725-7 Book Format: Paperback List Price: AUD $421.95 Publisher: Springer Publication Date: Nov 2010 Quantity Note

10.		Fundamentos de lógica e Teoria Da Computaçao Author: Sernadas, Amílcar Sernadas, Cristina ISBN: 978-1-84890-081-3 Book Format: Paperback List Price: AUD $20.90 Publisher: College Publications Publication Date: Aug 2012 Quantity Note

11.		Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Author: Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina ISBN: 978-1-281-20550-6 Book Format: Ebook List Price: USD $538.00 Publisher: Springer Publication Date: Sep 2008 Quantity Note

12.		Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Author: Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina ISBN: 978-1-4020-6781-5 Book Format: Hardback List Price: USD $169.99 Publisher: Springer Netherlands Publication Date: Feb 2008 Quantity Note