| Record ID | marc_records_scriblio_net/part12.dat:154896580:864 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part12.dat:154896580:864?format=raw |
LEADER: 00864cam 2200265 i 4500
001 80501215 //r85
003 DLC
005 19850412000000.0
008 801007s1979 pl b 00010 eng
010 $a 80501215 //r85
015 $aP***
041 0 $aeng$bpolrus
050 0 $aQA297$b.P64 no. 343$aQA267.3
082 0 $a001.64 s$a511.3$219
100 20 $aMirkowska-Salwicka, Grażyna.
245 10 $aAlgorithmic logic with nondeterministic programs /$cGrażyna Mirkowska-Salwicka.
260 0 $aWarsaw :$bInstitute of Computer Science, Polish Academy of Sciences,$c1979.
300 $a18 p. ;$c24 cm.
490 1 $aICS PAS reports ; 343
500 $aAbstracts also in Polish and Russian.
504 $aBibliography: p. 18.
650 0 $aFormal languages.
650 0 $aAlgorithms.
650 0 $aLogic, Symbolic and mathematical.
830 0 $aPrace IPI PAN ;$v343.