The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.

Salvato in:
Dettagli Bibliografici
Autore principale: Dershowitz, Nachum
Natura: Libro
Pubblicazione: Stanford, Calif. : Computer Science Department, Stanford University, 1976.
Serie:Stanford Artificial Intelligence Laboratory memo ; AIM-294. Computer Sience Department report ; no. STAN-CS-76-586.
LEADER 00966nam a2200205i 4500
001 c000071292
003 CARM
005 00000000000000.0
008 971103
019 1 |a 13503328  |5 LACONCORD2021 
035 |a (OCoLC)16694739  |5 LACONCORD2021 
100 |a Dershowitz, Nachum. 
245 4 |a The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna. 
260 |a Stanford, Calif. : Computer Science Department, Stanford University, 1976. 
300 |a 44 p. ; 28 cm. 
490 |a Stanford Artificial Intelligence Laboratory memo ; AIM-294. Computer Sience Department report ; no. STAN-CS-76-586. 
500 |a Icludes bibliographical references: p. 40. 
852 8 |b CARM  |h A2:AP15D3  |i D04664  |p 0193491  |f BK 
999 f f |i 666d7aa0-80e1-53db-9df0-aa6680af585b  |s 9305223b-c694-58be-a837-a55fc0b59bb4 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e D04664  |f A2:AP15D3  |h Other scheme  |i book  |m 0193491