| Shelfclass_id | 4.A |
| Sortkey | FLFP |
| Authors | Mauro Boscarol, Mauro. Boscarol, Luigia Carlucci Aiello, Giorgio Levi |
| Title | FLFP 1986: Foundations of Logic and Functional Programming Workshop: Trento, Italy, December 15-19, 1986: proceedings |
| Publisher | Springer Pub. Co. |
| Year | c1988 |
| Languages | eng |
| Isbn | 0387191291 |
| Series | Lecture Notes in Computer Science |
| Volume | 306 |
| Issn | 0302-9743 |
| Description | (U.S.: pbk.) iv, 218 p. ill. 25 cm. |
| Record date | 20070105 |
| Location | New York |
| Keywords | Functional programming (Computer science), Logic, Symbolic and mathematical |