國立高雄大學圖資館 |

Search result for [ subject:"Computer logic."]

63 records (0.03s)· Page 1 of 7 • 1 2 3 4 5

1.
- Logical foundations of computer science
- by: Fejer, Peter A.; Simovici, Dan A.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: World Scientific,
- Place of Publication: Singapore :
- Year of Publication: 2025
- ISBN: 9789811289347; 9789811289354
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Program development in computational...

~
Bruynooghe, M.
- Program development in computational logica decade of research advances in logic-based program development /
- by: Bruynooghe, M.; Lau, K.-K. (1953-); SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540221524
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Isabelle/HOLa proof assistant for hi...

~
Nipkow, Tobias.
- Isabelle/HOLa proof assistant for higher-order logic /
- by: Nipkow, Tobias.; Paulson, Lawrence C.; SpringerLink (Online service); Wenzel, Markus.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540433767
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Computational thinking for life scientists
- by: Chor, Benny.; Rubinstein, Amir.
- Electronic resources : Monograph/item
- Publisher: Cambridge University Press,
- Place of Publication: Cambridge, United Kingdom ; New York, NY :
- Year of Publication: 2022
- ISBN: 9781107197244; 9781108178327; 9781316647592
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- R-calculus.III,Post three-valued logic
- by: Li, Wei.; SpringerLink (Online service); Sui, Yuefei.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Singapore :
- Place of Publication: Singapore :
- Year of Publication: 2022
- ISBN: 9789811942693; 9789811942709
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Modal and temporal properties of pro...

~
Stirling, Colin P.
- Modal and temporal properties of processes /
- by: Stirling, Colin P.
- Language materials, printed : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 0387987177
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Asynchronous operators of sequential...

~
SpringerLink (Online service)
- Asynchronous operators of sequential logicvenjunction & sequention : digital circuit analysis and design /
- by: SpringerLink (Online service); Vasyukevich, Vadim.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2011
- ISBN: 9783642216107; 9783642216114
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Towards a design flow for reversible...

~
Drechsler, Rolf.
- Towards a design flow for reversible logic
- by: Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media B.V.,
- Place of Publication: Dordrecht :
- Year of Publication: 2010
- ISBN: 9789048195787; 9789048195794
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Challenges for action theories

~
SpringerLink (Online service)
- Challenges for action theories
- by: SpringerLink (Online service); Thielscher, Michael.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540674559
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- Logics for computer and data sciences, and artificial intelligence
- by: Polkowski, Lech T.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783030916794; 9783030916800
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items