2026-02-16T18:11:28+03:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A%2Cscore&hl=true&hl.simple.pre=%7B%7B%7B%7BSTART_HILITE%7D%7D%7D%7D&hl.simple.post=%7B%7B%7B%7BEND_HILITE%7D%7D%7D%7D&fq=-merged_boolean%3Atrue&fq=-id%3A%22in00000553585%22&wt=json&json.nl=arrarr&q=%7B%21terms+f%3Dwork_keys_str_mv+separator%3D%22%1F%22%7DAT+ifipworkingconferenceonformaldescriptionofprogrammingconceptsstandrewsnb+formaldescriptionofprogrammingconceptsproceedingsoftheifipworkingconferenceonformaldescriptionofprogrammingconceptsstandrewsnbcanadaaugust151977%1FAT+neuholderichj+formaldescriptionofprogrammingconceptsproceedingsoftheifipworkingconferenceonformaldescriptionofprogrammingconceptsstandrewsnbcanadaaugust151977&rows=0&start=0&sort=publishDateSort+desc%2C+title_sort+asc

2026-02-16T18:11:28+03:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A%2Cscore&hl=true&hl.simple.pre=%7B%7B%7B%7BSTART_HILITE%7D%7D%7D%7D&hl.simple.post=%7B%7B%7B%7BEND_HILITE%7D%7D%7D%7D&fq=-merged_boolean%3Atrue&fq=-id%3A%22in00000553585%22&wt=json&json.nl=arrarr&q=%7B%21terms+f%3Dwork_keys_str_mv+separator%3D%22%1F%22%7DAT+ifipworkingconferenceonformaldescriptionofprogrammingconceptsstandrewsnb+formaldescriptionofprogrammingconceptsproceedingsoftheifipworkingconferenceonformaldescriptionofprogrammingconceptsstandrewsnbcanadaaugust151977%1FAT+neuholderichj+formaldescriptionofprogrammingconceptsproceedingsoftheifipworkingconferenceonformaldescriptionofprogrammingconceptsstandrewsnbcanadaaugust151977&rows=0&start=0&sort=publishDateSort+desc%2C+title_sort+asc

2026-02-16T18:11:28+03:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A%2Cscore&fq=-merged_boolean%3Atrue&wt=json&json.nl=arrarr&q=%7B%21mlt+qf%3Dtitle%2Ctitle_short%2Ccallnumber-label%2Ctopic%2Clanguage%2Cauthor%2CpublishDate+mintf%3D1+mindf%3D1%7Din00000553585&rows=5

2026-02-16T18:11:28+03:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A%2Cscore&fq=-merged_boolean%3Atrue&wt=json&json.nl=arrarr&q=%7B%21mlt+qf%3Dtitle%2Ctitle_short%2Ccallnumber-label%2Ctopic%2Clanguage%2Cauthor%2CpublishDate+mintf%3D1+mindf%3D1%7Din00000553585&rows=5

2026-02-16T18:11:28+03:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2026-02-16T18:11:28+03:00 DEBUG: Deserialized SOLR response

2026-02-16T18:11:28+03:00 WARN: VuFind\Cover\Router: Cover provider VuFind\Content\Covers\ObalkyKnih needs ajaxcovers setting to be on

2026-02-16T18:11:28+03:00 WARN: VuFind\Cover\Router: Cover provider VuFind\Content\Covers\ObalkyKnih needs ajaxcovers setting to be on

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Saved in:

Bibliographic Details
Corporate Author:	IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B.
Other Authors:	Neuhold, Erich J. (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland Pub. Co., 1978
Subjects:	Computer programming > Congresses Formal languages > Congresses
Tags:	Add Tag No Tags, Be the first to tag this record!

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Similar Items