Logic in computer science

QRコード(所蔵情報)

Logic in computer science

フォーマット:

図書

責任表示:

editor, Zoran Ognjanović

言語:

英語

出版情報:

Beograd : Matematički Institut SANU, 2009-2015

形態:

2 v. : ill. ; 24 cm

著者名:

シリーズ名:

Zbornik radova ; 12(20), 18(26) <BA33173507>

書誌ID:

BA8977688X

ISBN:

9788680593401 [8680593400] ([1])

9788680593579 [8680593575] (2)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	コンピュータプログラミング
注記:	Editor of 2: Silvia Ghilezan Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Explanation-based transformation of logic programs Boström, Henrik Dept. of Computer and Systems Sciences, Stockholm University, Royal Institute of Technology	7 図書 Linear logic in computer science Ehrhard, Thomas Cambridge University Press
2 図書 Isabelle/HOL : a proof assistant for higher-order logic Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus Springer, c2002	8 図書 Handbook of logic in computer science Clarendon Press
3 図書 MMIX : a RISC computer for the new millennium Knuth, Donald Ervin, 1938- Addison-Wesley	9 電子ブック Computer Science Logic Workshop on Computer Science Logic, Gottlob, Georg, Grandjean, Etienne, Seyr, Katrin Springer Berlin Heidelberg
4 図書 Logic program synthesis using schema instantiation in an interactive environment Johansson, Anna-Lena, 1951- Department of Computer and Systems Sciences, Stockholm University, Royal Institute of Technology	10 電子ブック Computer Science Logic Workshop on Computer Science Logic, Flum, Jörg, Rodríguez Artalejo, Mario, European Association for Computer Science … Springer Berlin Heidelberg
5 図書 Mathematics for 3D game programming & computer graphics Lengyel, Eric Charles River Media	11 電子ブック Computer Science Logic Workshop on Computer Science Logic, Clote, Peter, Schwichtenberg, Helmut, European Association for Computer Science … Springer Berlin Heidelberg
6 図書 OpenCV 2 computer vision application programming cookbook : over 50 recipes to master this library of programming functions for real-time computer vision Laganière, Robert Packt Publishing	12 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon Springer Berlin Heidelberg