Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein
| Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein |
| Autore | Trautwein, Marten Henrik |
| Pubbl/distr/stampa | Amsterdam, : Institute for logic, language and computation, 1995 |
| Descrizione fisica | 196 p. ; 24 cm |
| Soggetto topico | 68Q45 - Formal languages and automata [MSC 2020] |
| ISBN | 90-7479-534-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
dut
eng |
| Record Nr. | UNICAMPANIA-VAN0090790 |
Trautwein, Marten Henrik
|
||
| Amsterdam, : Institute for logic, language and computation, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein
| Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein |
| Autore | Trautwein, Marten Henrik |
| Pubbl/distr/stampa | Amsterdam, : Institute for logic, language and computation, 1995 |
| Descrizione fisica | 196 p. ; 24 cm |
| Soggetto topico | 68Q45 - Formal languages and automata [MSC 2020] |
| ISBN | 90-7479-534-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
dut
eng |
| Record Nr. | UNICAMPANIA-VAN00090790 |
|
Trautwein, Marten Henrik
|
||
| Amsterdam, : Institute for logic, language and computation, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel
| Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel |
| Autore | Wamel, Jacobus Johannes : van |
| Pubbl/distr/stampa | Amsterdam, : Institute for logic, language and computation, 1995 |
| Descrizione fisica | VI, 152 p. ; 24 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 90-7479-525-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
dut
eng |
| Record Nr. | UNISOB-VAN0090787 |
|
Wamel, Jacobus Johannes : van
|
||
| Amsterdam, : Institute for logic, language and computation, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel
| Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel |
| Autore | Wamel, Jacobus Johannes : van |
| Pubbl/distr/stampa | Amsterdam, : Institute for logic, language and computation, 1995 |
| Descrizione fisica | VI, 152 p. ; 24 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 90-7479-525-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
dut
eng |
| Record Nr. | UNICAMPANIA-VAN0090787 |
|
Wamel, Jacobus Johannes : van
|
||
| Amsterdam, : Institute for logic, language and computation, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel
| Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel |
| Autore | Wamel, Jacobus Johannes : van |
| Pubbl/distr/stampa | Amsterdam, : Institute for logic, language and computation, 1995 |
| Descrizione fisica | VI, 152 p. ; 24 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 90-7479-525-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
dut
eng |
| Record Nr. | UNICAMPANIA-VAN00090787 |
|
Wamel, Jacobus Johannes : van
|
||
| Amsterdam, : Institute for logic, language and computation, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
