Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Taking the hol out of HOL



    Conference:

    5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA



    Publication date :

    2000-01-01


    Size :

    12 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    IMAGE TAKING SYSTEM, METHOD FOR TAKING IMAGES, AND IMAGE TAKING CONTROLLER

    WATANABE AKIRA / OKADA KAZUYA / KITAZAWA AKIRA et al. | European Patent Office | 2019

    Free access

    Taking positions

    Online Contents | 1997


    Taking Liberties

    Carley, Dave | TIBKAT | 1993


    Taking Stock

    Emerald Group Publishing | 1955


    Seawater taking system, seawater taking method and ship

    PAN YUXIANG / SHI LIJUN / JIANG KUN et al. | European Patent Office | 2022

    Free access