UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBC (1)

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

UGent (1)

ULB (1)

ULiège (1)

VIVES (1)
More...

Resource type

book (2)

Language

English (2)

Year

From To

2022 (2)

Listing 1 - 2 of 2
Sort by

Book

Functional and Logic Programming
Authors: Hanus, Michael --- Igarashi, Atsushi --- SpringerLink (Online service)
ISBN: 9783030994617 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Functional programming (Computer science) --- Logic programming. --- Computer programming --- Logic programming series --- MIT Press series in logic programming

Book

Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, proceedings
Authors: Hanus, Michael --- Igarashi, Atsushi
ISBN: 3030994600 3030994619 Year: 2022 Publisher: Cham, Switzerland : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Functional programming (Computer science) --- Logic programming. --- Computer programming --- Logic programming series --- MIT Press series in logic programming --- Programació funcional (Informàtica) --- Programació lògica

Listing 1 - 2 of 2
Sort by