| Record ID | marc_loc_updates/v36.i06.records.utf8:17256718:1372 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i06.records.utf8:17256718:1372?format=raw |
LEADER: 01372nam a22002777a 4500
001 2008554219
003 DLC
005 20080205120422.0
008 080204s2006 ja 000 0 eng
010 $a 2008554219
040 $aDLC$cDLC$dDLC
041 0 $ajpn$aeng
050 00 $aMLCMJ 2008/00016 (Q)
066 $c$1
100 1 $aBerardi, Stefano.
245 12 $6880-01$aA sequent calculus for limit computable mathematics (technical report) /$cStefano Berardi, Yamagata Yoriyuki.
260 $6880-02$a[Toyonaka-shi] :$bSangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā.,$c[2006?]
300 $a[26] p. ;$c30 cm.
490 0 $6880-03$aSanpu kagaku kenkyū sokuhō = Programming science technical report ;$vAIST-PS-2006-008
700 1 $6880-04$aYamagata, Yoriyuko.
710 2 $6880-05$aSangyō Gijutsu Sōgō Kenkyūjo.$bShisutemu Kenshō Kenkyū Sentā
880 12 $6245-01/$1$aA sequent calculus for limit computable mathematics (technical report) /$cStefano Berardi, 山形頼之.
880 $6260-02/$1$a[Toyonaka-shi] :$b産業技術総合研究所システム検証研究センター,$c[2006?]
880 0 $6490-03/$1$a算譜科学研究速報 = Programming science technical report ;$vAIST-PS-2006-008
880 1 $6700-04/$1$a山形頼之.
880 2 $6710-05/$1$a産業技術総合研究所.$bシステム検証研究センター.