Logic program synthesis using schema instantiation in an interactive environment | 金沢大学附属図書館 OPAC plus

Blank Cover Image

QRコード(所蔵情報)

Logic program synthesis using schema instantiation in an interactive environment

フォーマット:: 図書
責任表示:: Anna-Lena Johansson
言語:: 英語
出版情報:: Stockholm : Department of Computer and Systems Sciences, Stockholm University
[Stockholm] : Royal Institute of Technology, 1995
形態:: 195 p. : ill. ; 25 cm
著者名:: Johansson, Anna-Lena, 1951- <DA03959860>
シリーズ名:: Report series / Department of Computer and Systems Sciences ; No.95-050 <BA22639838>
書誌ID:: BA27232714
ISBN:: 9789171534149 [9171534148]

子書誌情報

所蔵情報

Loading availability information

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

詳細

主題:	コンピュータプログラミング
分類・件名:	NDC8 : 007.64
注記:	Bibliography: p. [145]-153 Thesis (doctoral)--University of Stockholm, 1995
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 図書 Isabelle/HOL : a proof assistant for higher-order logic Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus Springer, c2002
2 図書 Interactive object-oriented programming in java : learn and test your programming skills Sarcar, Vaskaran, Mullick, Avirup Apress, Springer Science+Business Media [distributor]	8 電子ブック Logic Program Synthesis and Transformation International Workshop on Logic Program Synthesis and Transformation, Fuchs, Norbert E. Springer Berlin Heidelberg
3 図書 GCLA : the design, use, and implementation of a program development system Aronsson, Martin Dept. of Computer and Systems Sciences, Royal Institute of Technology and Stockholm University, Swedish Institute of Computer Science	9 電子ブック Logic Program Synthesis and Transformation International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio Springer Berlin Heidelberg
4 図書 Using MPI : portable parallel programming with the message-passing interface Gropp, William, Lusk, Ewing L., Skjellum, Anthony MIT Press	10 電子ブック Logic Program Synthesis and Transformation International Workshop on Logic Program Synthesis and Transformation, Gallagher, John P. Springer Berlin Heidelberg
5 電子ブック Regional environment and agriculture programming model Johansson, Robert C. United States Department of Agriculture, Economic Research Service	11 図書 Advanced Linux programming Mitchell, Mark, Oldham, Jeffrey, Samuel, Alex New Riders
6 図書 Logic in computer science Ognjanović, Zoran, Ghilezan, Silvia Matematički Institut SANU	12 図書 IDL programming techniques Fanning, David W. Fanning Software Consulting