Algebraic and logic programming : International Conference ... proceedings.
Saved in:
| New Title: | Programming languages: implementations, logics, and programs Principles of declarative programming |
|---|---|
| Corporate Authors: | , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1990-97.
|
| Series: | Lecture notes in computer science
343, etc. |
| Subjects: |
MARC
| LEADER | 00000nas a2200000 a 4500 | ||
|---|---|---|---|
| 001 | d8ef615f-11a3-4a1b-ac6f-011930dbc193 | ||
| 005 | 20240707000000.0 | ||
| 008 | 950329d19901997gw gr 1 a0eng d | ||
| 035 | |a (OCoLC)32218254 | ||
| 040 | |a TKN |c TKN |d MnU | ||
| 049 | |a MNUA | ||
| 090 | |a QA76.6 |b .A458 | ||
| 245 | 0 | 0 | |a Algebraic and logic programming : |b International Conference ... proceedings. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1990-97. | ||
| 300 | |a 6 volumes : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 362 | 0 | |a 1st (1988)-6th (1997). | |
| 490 | 1 | |a Lecture notes in computer science ; |v 343, 463, 632, 850, 1139, 1298 | |
| 500 | |a The 6th Conference was issued jointly with 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting (HOA). | ||
| 500 | |a Volume for 1988 called International Workshop. | ||
| 580 | |a Merged with: Programming languages: implementations, logics, and programs; to form: Principles of declarative programming | ||
| 650 | 0 | |a Logic programming |v Congresses. | |
| 650 | 0 | |a Algebraic logic |x Congresses. | |
| 711 | 2 | |a International Conference on Algebraic and Logic Programming. |t Proceedings. | |
| 711 | 2 | |a International Workshop on Higher-Order Algebra, Logic, and Term Rewriting. | |
| 785 | 1 | 7 | |t Programming languages: implementations, logics, and programs |
| 785 | 1 | 7 | |t Principles of declarative programming |
| 830 | 0 | |a Lecture notes in computer science |v 343, etc. | |
| 999 | 1 | 0 | |i d8ef615f-11a3-4a1b-ac6f-011930dbc193 |l 9925280010001701 |s US-MNU |m algebraic_and_logic_programminginternational_conference_proceedings________1997_______sprina___________________________________________________________________________p |
| 999 | 1 | 1 | |l 9925280010001701 |s ISIL:US-MNU |i University of Minnesota |t CNR |a TSCIGEN |c QA76.6 .A4584 |d LCC |b 31951P005831986 |x ISSBD |y 23360920680001701 |p LOANABLE |
| 999 | 1 | 1 | |l 9925280010001701 |s ISIL:US-MNU |i University of Minnesota |t CNR |a TSCIGEN |c QA76.6 .A4584 |d LCC |b 31951P00271609C |x ISSBD |y 23360920690001701 |p LOANABLE |
| 999 | 1 | 1 | |l 9925280010001701 |s ISIL:US-MNU |i University of Minnesota |t CNR |a TSCIGEN |c QA76.6 .A4584 |d LCC |b 31951P000801293 |x ISSBD |y 23360920710001701 |p LOANABLE |
| 999 | 1 | 1 | |l 9925280010001701 |s ISIL:US-MNU |i University of Minnesota |t CNR |a TSCIGEN |c QA76.6 .A4584 |d LCC |b 31951P00193573S |x ISSBD |y 23360920700001701 |p LOANABLE |
| 999 | 1 | 1 | |l 9925280010001701 |s ISIL:US-MNU |i University of Minnesota |t CNR |a TSCIGEN |c QA76.6 .A4584 |d LCC |b 319510009811287 |x ISSBD |y 23360920640001701 |p LOANABLE |
| 999 | 1 | 1 | |l 9925280010001701 |s ISIL:US-MNU |i University of Minnesota |t CNR |a TSCIGEN |c QA76.6 .A4584 |d LCC |b 31951D01620835E |x ISSBD |y 23360920650001701 |p LOANABLE |